選択公理
コンパクト空間の任意個の積空間はコンパクトになる。
選択公理には様々な変種が存在する。