In mathematics, a topological space is said to be σ-compact if it is the union of countably many compact subspaces.
A space is said to be σ-locally compact if it is both σ-compact and locally compact.