theorem Th75: :: TDLAT_2:76

for T being non empty TopSpace
for F being Subset-Family of T st F is closed-domains-family holds
( Cl (union F) is closed_condensed & Cl (Int (meet F)) is closed_condensed )