for a, b, c being POINT of TarskiEuclid2Space holds
( between a,b,c iff dist (a,c) = (dist (a,b)) + (dist (b,c)) )