let T be non empty TopSpace; :: thesis: [#] T is F_sigma
reconsider F = {([#] T)} as Subset-Family of T ;
A1: F is closed by Th20;
[#] T = union F by ZFMISC_1:31;
hence [#] T is F_sigma by A1, Def6; :: thesis: verum