(P `) /\ (Q `) = (P \/ Q) ` by XBOOLE_1:53;
hence for b₁ being Subset of TS st b₁ = P \/ Q holds
b₁ is open by Th30; :: thesis: verum