approach space (Q4781718)
set equipped with a point-to-subset distance function
Language:
Current Data About approach space
(P279) (Q748349)
(P2534) \begin{aligned}d\colon X\times\operatorname{Pow}(X)&\to[0,\infty]\\d(x,\{x\})&=0\\d(x,\varnothing)&=\infty\\d(x,A\cup B)&=\min\{d(x,A),d(x,B)\}\\\forall\epsilon\in[0,\infty]\colon d(x,A)&\le d(x,\{y\in X|d(y,A)\le\epsilon\})+\epsilon\end{aligned}
(P2579) (Q621550)
(Q122488935)
(P7235) (X,d)
X
\operatorname{Pow}
other details
description set equipped with a point-to-subset distance function

External Links