theorem Th27: :: TDLAT_2:28

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