Definition:Meager Space

Definition
Let $T = \left({S, \tau}\right)$ be a topological space.

Let $A \subseteq S$.

Then $A$ is meager in $T$ iff it is the union of a countable set 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$.

Linguistic Note
The word meager (British English: meagre) is a somewhat old-fashioned word meaning deficient, lacking, scrawny etc.

It originates from the French maigre, meaning thin in the sense of unhealthily skinny.

Historical Note
The concept of categorizing topological spaces in this way was introduced by Baire, during his work to define what is now known as a Baire space.