theorem :: NORMSP_3:10

for X being RealNormSpace
for A, B being Subset of X holds Cl (A /\ B) c= (Cl A) /\ (Cl B)