Taut submanifold
In mathematics, a taut submanifold N of a space form M is a compact submanifold with the property that for every the distance function
is a perfect Morse function.
If N is not compact, one needs to consider the restriction of the to any of their sublevel sets.