T1位相空間 に対し，次の3つの条件は同値． これらをみたすとき， は可算コンパクトであると言う． (1) 任意の点列は集積点をもつ （ が の集積点 ⇔ の任意の近傍 に対し， となる が無限に存在する） (2) 任意の可算開被覆は有限部分被覆をもつ (3) 任意の…

3.1 順序．