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