可算コンパクト空間

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