定義
X をハウスドルフ空間とする。

X = ∪K_n, n = 1, 2, . . . となるコンパクト集合 K_n があるとき
X を σ-コンパクトと言う。