theorem :: NORMSP_3:8

for X being RealNormSpace
for A, B being Subset of X st A c= B holds
Cl A c= Cl B