theorem :: RUSUB_7:15

for S being RealUnitarySpace
for U being Subset of S
for V being Subset of (TopSpaceNorm (RUSp2RNSp S)) st U = V holds
( U is closed iff V is closed )