σ-compact

Definition (σ\sigma-compact)

A set EE in a Topological Space is called σ\sigma-compact if EE is a countable union of Compact sets. i.e. E∈T:E  σ-compact  ⟺  (Kn)n∈N,Ki compact ,E=⋃n∈NKnE\in \mathscr{T}:E \,\,\sigma\text{-compact}\iff(K_{n})_{n\in \mathbb{N}},K_{i}\text{ compact },E=\bigcup_{n\in \mathbb{N}}K_{n}

Linked from