Sigma-compact space

Symbol-free definition
A topological space is said to be sigma-compact or $$\sigma$$-compact if it has a countable collection of compact subsets such that the union of their interiors is the whole space.

Stronger properties

 * Hemicompact space
 * Compact space
 * Manifold