theorem Th73: :: TDLAT_2:74

for T being non empty TopSpace
for F being Subset-Family of T st F is closed-domains-family holds
F is closed