Geodesic metric space

Symbol-free definition
A geodesic metric space is a metric space if it satisfies the following equivalent conditions:


 * Given any two points, there is a path between them whose length equals the distance between the points

Stronger properties

 * Uniquely geodesic metric space

Weaker properties

 * Length-metric space