for S being IncSpace
for A, B being POINT of S st A <> B holds
Line (A,B) = Line (B,A)