theorem Th58: :: MEASURE6:58

for X being real-membered set holds X c= Cl X