theorem :: TOPGEN_4:43

for T being non empty TopSpace
for A being Subset of T st A is closed holds
A is F_sigma