>>574
>だからそれが狭義単調増加じゃない例を君が誤って持ち出しただけのこと
順序同型だから狭義単調増加だけど？
まあいいから
K=ω+1+Ord={ω+1,ω+2,…,ω2,ω2+1,…,ω3,…,ω^2,…}
と
Ord={0,1,…,ω,ω+1,…,ω2,ω2+1,…,ω3,…,ω^2,…}
の順序同型を考えてごらんよ
xyz空間の格子点で考えられるからこれが不動点を持つ例だと直ぐ判るよ