Let X be a subset of Rn. Then the reach of X is defined as
reach(X):=\sup\{r\inR:\forallx\inRn\setminusXwith{\rmdist}(x,X)<rexistsauniqueclosestpointy\inXsuchthat{\rmdist}(x,y)={\rmdist}(x,X)\}.
Shapes that have reach infinity include
The graph of ƒ(x) = |x| has reach zero.
A circle of radius r has reach r.