If E₁ is the cause of E₂, then a small variation (a mark) in E₁ is associated with a small variation in E<sub>2</sub… - Hans Reichenbach

For the Lorentz transformation spatial measurements are also changed, because they are obtained relative to a moving system. In our example only time was transformed, while the distances between points at rest remained the same; the spatial coordinates, therefore, retain their identity.

The surfaces of three-dimensional space are distinguished from each other not only by their curvature but also by certain more general properties. A spherical surface, for instance, differs from a plane not only by its roundness but also by its finiteness. Finiteness is a holistic property. The sphere as a whole has a character different from that of a plane. A spherical surface made from rubber, such as a balloon, can be twisted so that its geometry changes. ...but it cannot be distorted in such a way as that it will cover a plane. All surfaces obtained by distortion of the rubber sphere possess the same holistic properties; they are closed and finite. The plane as a whole has the property of being open; its straight lines are not closed. This feature is mathematically expressed as follows. Every surface can be mapped upon another one by the coordination of each point of one surface to a point of the other surface, as illustrated by the projection of a shadow picture by light rays. For surfaces with the same holistic properties it is possible to carry through this transformation uniquely and continuously in all points. Uniquely means: one and only one point of one surface corresponds to a given point of the other surface, and vice versa. Continuously means: neighborhood relations in infinitesimal domains are preserved; no tearing of the surface or shifting of relative positions of points occur at any place. For surfaces with different holistic properties, such a transformation can be carried through locally, but there is no single transformation for the whole surface.

...the mathematician uses an indirect definition of congruence, making use of the fact that the axiom of parallels together with an additional condition can replace the definition of congruence.