Portée de Federer (Reach)

Pour un sous-ensemble fermé A de l'espace euclidien, la portée (reach) est le sup des r≥0 tels que tout point à distance strictement inférieure à r de A admet un unique point le plus proche dans A ; équivalemment le rayon du plus grand voisinage tubulaire sur lequel la projection sur A est bien définie et à valeur unique.