全测地超曲面

totally geodesic hypersurface