Also calledthe branch of non-Euclidean geometry that replaces the parallel postulate of Euclidean geometry with the postulate that in a plane every pair of distinct lines intersects. Cf.
the differential geometry of a metric space that generalizes a Euclidean space.