theorem Th50: :: TDLAT_2:51

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