theorem LM024: :: NDIFF_7:12

for S, T being RealNormSpace
for I being LinearOperator of S,T
for Z being Subset of S st I is one-to-one & I is onto & I is isometric holds
( Z is closed iff I .: Z is closed )