 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.