In mathematics, a (compact) 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. References Differential geometry Morse theory