可算コンパクト空間
任意のコンパクト空間は可算コンパクトである。
最小の非可算順序数 ω1 に順序位相を入れたものは可算コンパクトだがコンパクトでない空間の例になっている。