theorem :: JORDAN1J:34

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