for A being Subset of REAL
for B being Subset of R^1 st A = B holds
Cl A = Cl B