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