theorem Th12: :: PCOMPS_1:12

for T being TopSpace
for FX being Subset-Family of T st FX = {} holds
clf FX = {}