for p, q being Point of (TOP-REAL 3) holds |{p,q,(0. (TOP-REAL 3))}| = 0