for X being Subset of REAL
for Y being closed Subset of REAL st X c= Y holds
Cl X c= Y