>>754
"A transfinite sequence of type α, or an α-sequence, is a function φ defined on {β?β<α}.
If the values of this sequence are ordinal numbers, and if γ<β<α implies that φ(γ)<φ(β), then it is called an ascending sequence."

「α型のtransfinite sequence(α-sequence)は{β|β<α}上で定義される関数φである。
　この数列の値が序数であり、γ<β<αがφ(γ)<φ(β)を意味する場合、それは上昇列と呼ばれます。」

で？

君、「＜ω」見える？　ωの左の「＜」見える？
見えるなら「＜」の左に項がなければならないの、わかる？

P.S.
>>751　king=粋蕎　って言ってる？　そうなの？