theorem Th64: :: TDLAT_2:65

for T being non empty TopSpace
for F being Subset-Family of T holds
( F c= Domains_of T iff F is domains-family )