theorem Th48: :: PSCOMP_1:48

for X being non empty compact Subset of (TOP-REAL 2) holds E-most X c= LSeg ((E-min X),(E-max X))