theorem EQCL2: :: NORMSP_3:15

for X being RealNormSpace
for Y being Subset of X
for Z being Subset of (LinearTopSpaceNorm X) st Y = Z holds
( Y is dense iff Z is dense )