First Category Set

Definition

Consider a Topological Space $(X,\mathcal{T})$ and a subspace $A\subset X$. The subset $A$ is the first category in $X$ if it is a countable union of nowhere dense subsets of $X$.