Totally geodesic submanifold
= Totally geodesic submanifold
For a <nondegenerate> induced <metric tensor>, a <totally geodesic submanifold> has vanishing <second fundamental form>; equivalently, every ambient <geodesic> initially tangent to it remains in it. This extends the notion of a <totally geodesic hypersurface> to arbitrary codimension.