A manifold possessing a metric tensor. For a complete Riemannian manifold, the metric is defined as the length of the shortest curve (geodesic) between and .
Every complete Riemannian manifold is boundedly compact. This is part of or a consequence of the Hopf-Rinow theorem.