theorem EQCL1: :: NORMSP_3:3

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