theorem Th19: :: JORDAN1J:19

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