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