theorem Th65: :: TDLAT_2:66

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