Σコンパクト空間

位相空間 $X$ が $\sigma$ コンパクト空間であるとは、高々可算個のコンパクト集合の合併であることをいう。