Geodesic metric space (source code)

= Geodesic metric space
{wiki}

A geodesic metric space is a <metric space> in which every two points are joined by a path whose length equals the distance between them.