Σ-compact space (source code)

= Σ-compact space
{wiki=Σ-compact_space}