theorem Th72: :: TDLAT_2:73

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