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