for T being non empty TopSpace
for F being Subset-Family of T st F is domains-family holds
(union F) \/ (Int (Cl (union F))) is condensed