752 名前:132人目の素数さん mailto:sage [2021/10/30(土) 08:28:54.65 ID:zgBubH+2.net] >>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 の元からなる順序対のあつまりである。 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. (引用終り) 以上