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