for X being RealNormSpace
for Z being Subset of X holds Z c= Cl Z