Definition 5.23.4 (Meagre).label Let $X$ be a topological space, then $X$ is meagre if there exists $\seq{A_n}\subset 2^{X}$ nowhere dense such that $X = \bigcup_{n \in \natp}A_{n}$.
Definition 5.23.4 (Meagre).label Let $X$ be a topological space, then $X$ is meagre if there exists $\seq{A_n}\subset 2^{X}$ nowhere dense such that $X = \bigcup_{n \in \natp}A_{n}$.