theorem Th20: :: JORDAN1J:20

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