theorem :: NORMSP_3:9

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