訂正

記号で表すならば、
∀γ<ω_1∃(α_n;順序数)_{n∈N} [ (α_n)は狭義単調増加 かつ ∪α_n=γ]