\begin{definition}[Definition:Meager Space]
Let $T = \struct {S, \tau}$ be a topological space.
Let $A \subseteq S$.
$A$ is '''meager in $T$''' {{iff}} it is a countable union of subsets of $S$ which are nowhere dense in $T$.
\end{definition}