>>571
>K=ω+1+Ord={ω+1,ω+2,…,ω2,ω2+1,…,ω3,…,ω^2,…}
>では
だからそれが狭義単調増加じゃない例を君が誤って持ち出しただけのこと。
順序同型である必要は無い。狭義単調増加から証明可能。