theorem :: PCOMPS_1:11

for T being TopSpace
for FX being Subset-Family of T holds clf FX is closed