Y を最初の非可算順序数より小さい順序数の集合とします。つまり、Y = {x ∈ X : x < Ω} です。Y のすべての可算部分集合 E には Y の上限があり、したがって最小の上限があることを示します。