theorem Th35: :: TOPGEN_4:35

for T being non empty TopSpace holds [#] T is F_sigma