for p, q, r being POINT of TarskiEuclid2Space holds
( between p,q,r iff Tn2TR q in LSeg ((Tn2TR p),(Tn2TR r)) )