21/05/12 21:06:07.23 4O3CktwN.net
>>875 補足
なんか、分かってないね
（下記より）
・整列集合：集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう
つまり、全順序に「必ず ≦ に関する最小元をもつ」という条件を加えたもの
・全順序：線型順序、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である
「集合 X が関係 ≦ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである」
”X の任意の元 a, b, c に対して”にご注目
任意とは、英語では anyかallですが、数学では∀ですよ！（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
整列集合（well-ordered set）とは、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。
URLﾘﾝｸ(ja.wikipedia.org)
全順序
単純順序（たんじゅんじゅんじょ、英: simple order）、線型順序（せんけいじゅんじょ、英: linear order）とも呼ばれる。
集合 X が関係 ≦ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである：
反対称律：a ≦ b かつ b ≦ a ならば a = b
推移律：a ≦ b かつ b ≦ c ならば a ≦ c
完全律（比較可能）：a ≦ b または b ≦ a の何れかが必ず成り立つ
反対称性によって a < b かつ b < a であるという不確定な状態は排除される[1]。完全性を持つ関係は、その集合の任意の二元がその関係で比較可能（英語版）であることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である[2]。また完全性から反射性 (a ≦ a) が出るから、全順序は半順序の公理を満たす。半順序は（完全性の代わりに反射性のみが課されるという意味で）全順序よりも弱い条件である。
(引用終り)