Definition:G-Delta Set

Definition
Let $T = \struct {S, \tau}$ be a topological space.

A $G_\delta$ set ($G$-delta set) is a set which can be written as a countable intersection of open sets of $T$.

Also see

 * $F_\sigma$ ($F$-Sigma) Set
 * Complement of $F_\sigma$ Set is $G_\delta$ Set
 * Complement of $G_\delta$ Set is $F_\sigma$ Set