Definition:Meager Space

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

Let $A \subseteq S$.

Then $A$ is meager in $S$ iff it is the union of a countable set of subsets of $S$ which are nowhere dense in $S$.

A set which is meager in $S$ is also called of the first category in $S$.

Non-Meager
A set which is not meager is called non-meager in $S$ or of the second category in $S$.

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.