A2: Q = Cl Q by PRE_TOPC:52;
P = Cl P by PRE_TOPC:52;
then Cl (P \/ Q) = P \/ Q by A2, PRE_TOPC:50;
hence for b₁ being Subset of TS st b₁ = P \/ Q holds
b₁ is closed ; :: thesis: verum