theorem Th1: :: ASCOLI:1

for X being RealNormSpace
for Y being Subset of X
for Z being Subset of (MetricSpaceNorm X) st Y = Z holds
Cl Y = Cl Z