Geodesic metric space (source code)

= Geodesic metric space
{wiki}

A <metric space> in which every two points are joined by a <metric geodesic> segment. Equivalently, they admit a <continuous path> whose <metric path length> equals their distance. In this general setting no <Riemannian metric> or <covariant derivative> is required.