>>672
つづき

(参考)
https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列順序付けられた集合または整列集合（英: well-ordered set）とは、整列順序を備えた集合のことをいう。
ここで、集合 S 上の整列順序関係 (well-order) とは、S 上の全順序関係 "≦" であって、S の空でない任意の部分集合が必ず ≦ に関する最小元をもつものをいう。
あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≦) を慣例に従ってしばしば単純に S で表す。

https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
二項関係が整礎（英: well-founded）であるとは、真の無限降下列をもたないことである。

https://ja.wikipedia.org/wiki/%E4%BA%8C%E9%A0%85%E9%96%A2%E4%BF%82
二項関係（英: binary relation）あるいは二変数関係 (dyadic relation, 2-place relation) は、集合 A の元からなる順序対のあつまりである。

http://ysserve.wakasato.jp/Lecture/SetTheory3/settheory03/node16.html
整列可能定理

https://en.wikipedia.org/wiki/Ascending_chain_condition
Ascending chain condition
Comments
A totally ordered set that is well-founded is a well-ordered set.
(引用終り)
以上