theorem Th26: :: JORDAN1J:26

for X, Y being non empty compact Subset of (TOP-REAL 2) st W-bound X <= W-bound Y holds
W-bound (X \/ Y) = W-bound X