Meager sets

Let \(X\) be a topological space. A subset \(S\subseteq X\) is meager in \(X\) if it is a countable union of nowhere dense subsets of \(X\).