theorem Th22: :: JORDAN1J:22

for X, Y being non empty compact Subset of (TOP-REAL 2) st X c= Y & W-max Y in X holds
W-max X = W-max Y