Totally geodesic hypersurface (source code)

= Totally geodesic hypersurface

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

= Totally geodesic
{synonym}