 Riemannian manifold

A Riemannian manifold is a smooth manifold equipped with a smoothly varying positive-definite inner product on each tangent space.