theorem Th9: :: TDLAT_2:9

for T being TopSpace
for F being Subset-Family of T holds
( F = {} iff Cl F = {} )