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.