Measurements which may be made on the surface of the earth... is an example of a 2-dimensional congruence space of positive curvature <math>K = \frac… - Howard P. Robertson

An "empty world," i.e., a homogeneous manifold at all points at which equations (1) are satisfied, has, according to the theory, a constant Riemann curvature, and any deviation from this fundamental solution is to be directly attributed to the influence of matter or energy.

These formulae [in (1) and (2) above] may be shown to be valid for a circle or a triangle in the hyperbolic plane... for which <math>K < 0</math>. Accordingly here the perimeter and area of a circle are greater, and the sum of the three angles of a triangle are less, than the corresponding quantities in the Euclidean plane. It can also be shown that each full line is of infinite length, that through a given point outside a given line an infinity of full lines may be drawn which do not meet the given line (the two lines bounding the family are said to be "parallel" to the given line), and that two full lines which meet do so in but one point.

In all these congruence geometries, except the Euclidean, there is at hand a natural unit of length <math>R = \frac{1}{K^\frac{1}{2}}</math>; this length we shall, without prejudice, call the "radius of curvature" of the space.