, such that the between-relation holds between the three points
,
,
in some order or other. It has been shown by O. Veblen that we may regard our whole space as the field of a three-term between-relation, and define our geometry by the properties we assign to our between-relation.[13] Now likeness is just as easily definable between three-term relations as between two-term relations. If
and