一般連続体仮説を肯定したとして、ωに対し、連続体の中で最大元を持つ半順序集合をとる。