Description: Property of lying on the line going through points X and Y .
Definition 4.10 of Schwabhauser p. 36. We choose the notation
Z e. ( X ( LineGG ) Y ) instead of "colinear" because
LineG is a common structure slot for other axiomatizations of
geometry. (Contributed by Thierry Arnoux, 28-Mar-2019)