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