theorem Th3: :: RCOMP_3:3

for X, Y being Subset of REAL holds Cl (X \/ Y) = (Cl X) \/ (Cl Y)