Riemannian Manifold

A Manifold possessing a Metric Tensor. For a complete Riemannian manifold, the Metric $d(x,y)$ is defined as the length of the shortest curve (Geodesic) between $x$ and $y$.

See also Bishop's Inequality, Cheeger's Finiteness Theorem