Line
Definition
A line is a geodesic in which each finite segment is minimal, in the sense that it realizes the distance between its endpoints.
A line is a geodesic in which each finite segment is minimal, in the sense that it realizes the distance between its endpoints.