Definition:Meager Space

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

Let $A \subseteq S$.

$A$ is meager in $T$ it is a countable union of subsets of $S$ which are nowhere dense in $T$.

Also known as
A set which is meager in $T$ is also called of the first category in $T$.

Also see

 * Definition:Baire Category