Riemannian manifold
Let ("M", "g") be a Riemannian manifold.