\begin{definition}[Definition:F-Sigma Set]
Let $T = \struct {S, \tau}$ be a topological space.
An '''$F_\sigma$ set ($F$-sigma set)''' is a set which can be written as a countable union of closed sets of $T$.
\end{definition}