theorem Th62: :: RLTOPSP1:62

for X being LinearTopSpace
for A, B being Subset of X holds (Cl A) + (Cl B) c= Cl (A + B)