theorem Th21: :: JORDAN1J:21

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