21/10/30 08:28:54.65 zgBubH+2.net
>>672
つづき
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
整列順序付けられた集合または整列集合（英: well-ordered set）とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。
URLﾘﾝｸ(ja.wikipedia.org)
二項関係が整礎（英: well-founded）であるとは、真の無限降下列をもたないことである。
URLﾘﾝｸ(ja.wikipedia.org)
二項関係（英: binary relation）あるいは二変数関係 (dyadic relation, 2-place relation) は、集合 A の元からなる順序対のあつまりである。
URLﾘﾝｸ(ysserve.wakasato.jp)
整列可能定理
URLﾘﾝｸ(en.wikipedia.org)
Ascending chain condition
Comments
A totally ordered set that is well-founded is a well-ordered set.
(引用終り)
以上