for p, q being Point of (TOP-REAL 2) holds L~ <*p,q*> = LSeg (p,q)