for X being RealNormSpace
for R, S being Subset of X st R is dense & S is open holds
Cl S = Cl (S /\ R)