可算コンパクト空間
位相空間 "X" が可算コンパクト空間（）であるとは、任意の可算開被覆が有限部分被覆を持つことをいう。即ち、
を満たす任意の可算開集合族 formula_2 に対しある有限部分族 formula_3 が存在して、
が成り立つことをいう。定義より任意のコンパクト空間は可算コンパクト空間でもある。