theorem Th25: :: TDLAT_2:26

for T being TopSpace
for F being Subset-Family of T holds union (Int F) c= union F