theorem Th18: :: JORDAN1J:18

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