19/10/12 17:56:43.26 Vy+smElV.net
>>304
>えーと、順序集合で、「半順序・全順序」意識していますか？
>それ、∈関係で、全順序なのでしょ？
いいえ？そんな事どこにも書いてないでしょ？
主張は
--- claim ---
S={ n | ∃(x1,x2,‥,xn), Ω=x1, x[i]∋x[i+1]}
には最大値が存在する。
---
です。
全順序もなにも仮定していないし、そんな事証明する気もありません。
主張してるのは上のSに最大値があるという事だけです。