for S being Subset of (TOP-REAL 2)
for p, q being Point of (TOP-REAL 2) st p <> q & (LSeg (p,q)) \ {p,q} c= S holds
LSeg (p,q) c= Cl S