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