\begin{definition}[Definition:G-Delta Set]
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$.
\end{definition}