theorem :: MEASURE6:62

for X, Y being real-membered set st X c= Y holds
Cl X c= Cl Y