theorem Th48: :: TDLAT_2:49

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