> [!definition] > > Let $X$ be a [[Topological Space|topological space]]. $X$ is $\sigma$-compact if there is a countable partition of $X = \bigcup_{n \in \nat}K_n$ where each $K_n$ is [[Compactness|compact]].