for a, b, c being Element of (OASpace (TOP-REAL 2))
for ap, bp, cp being POINT of TarskiEuclid2Space st a = ap & b = bp & c = cp holds
( Mid a,b,c iff between ap,bp,cp )