Meagre sets

Let \(X\) be a topological space and \(A\subseteq X\). Then \(A\) is meagre in \(X\) if and only if \(A\) is a countable union of nowhere dense subsets of \(X\).