...the mathematician uses an indirect definition of congruence, making use of the fact that the axiom of parallels together with an additional condit… - Hans Reichenbach

...the relation of betweenness on the torus is undetermined for curves that cannot be contracted to a point [e.g., circles around a doughnut hole], i.e., for three of such curves it is not uniquely determined which of them lies between the other two. ..This indeterminateness... has the consequence that such a curve [alone] does not divide the surface of the torus into two separate domains; between points to the "right" and to the "left" of the line.

Perceptual space is not a special space in addition to physical space, but physical space which we endow with a special subjective metric. ...apart from the definition of congruence in physics and that based on perception, there is no third one derived from pure visualization. Any such third definition is nothing but the definition of physical congruence to which our normative function has adjusted the subjective experience of congruence.

We are frequently faced with the necessity of looking for the picture required for the visualization of an object, not in the perception of this particular object, but in a different perceptual image. ...we can assert the discrepancy between the perceived picture and the objective state. This discrepancy... proves absolutely nothing against the fact that all visualizations are merely sense qualities of the perceptual space. ...If the parallelism is ...to be visualized, we must supplement our assertion by the description of certain qualities with which we are familiar from perceptual space.