reconsider
A
=
P
,
B
=
Q
as
Subset
of
T
;
A1
:
B
is
open
;
A
is
open
;
then
P
\/
Q
is
open
by
A1
;
hence
P
\/
Q
is
Element
of
Topology_of
T
;
:: thesis:
verum