:: deftheorem defines F_sigma TOPGEN_4:def 6 :
for T being TopSpace
for A being Subset of T holds
( A is F_sigma iff ex F being countable closed Subset-Family of T st A = union F );