Uniquely geodesic metric space
Definition
A uniquely geodesic metric space is a geodesic metric space with the property that between any two points, there is a unique path of shortest length, and this length is the distance between the points.
A uniquely geodesic metric space is a geodesic metric space with the property that between any two points, there is a unique path of shortest length, and this length is the distance between the points.