α. n+1はnより大きい最小の元
   n+1={n}
β. ωは0,1,2,…のどれよりも大きい最小の元
   ω={0,1,2,…}

ω={x}という形で表すことはできない
なぜなら0,1,2,…の中に最大元は存在しないから