Totally geodesic hypersurface
= Totally geodesic hypersurface
= Totally geodesic
{synonym}
A hypersurface is totally geodesic when every ambient geodesic initially tangent to it remains in it. Equivalently, its extrinsic curvature vanishes identically.