可算コンパクト空間
いわゆる有限交叉性である。
閉集合からなる可算な集合族 A⊂P(X) が ⋂ A = ∅ {\displaystyle \bigcap A=\emptyset } を満たすならば、ある有限部分集合 B⊂A が存在して ⋂ B = ∅ {\displaystyle \bigcap B=\emptyset } 。