let T be non empty TopSpace; :: thesis: [#] T is G_delta
reconsider F = {([#] T)} as Subset-Family of T ;
( F is open & [#] T = meet F ) by Th19, SETFAM_1:11;
hence [#] T is G_delta by Def7; :: thesis: verum