let T be non empty TopSpace; :: thesis: {} T is F_sigma
reconsider E = {} as empty Subset-Family of T by Th18;
{} T = union E by ZFMISC_1:2;
hence {} T is F_sigma by Def6; :: thesis: verum