theorem Th32: :: PSCOMP_1:32

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