theorem Th19: :: TOPS_2:19

for GX being TopSpace
for W being Subset-Family of GX st W is open holds
union W is open