for p, q being Point of (TOP-REAL 2) st p `1 <= q `1 holds
W-bound (LSeg (p,q)) = p `1