theorem Th33: :: JORDAN1J:33

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