A Riemannian manifold is 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.
