整列集合 - Wikipedia

整列集合 - Wikipedia

整列集合（せいれつしゅうごう、英: well­ordered set）、または整列順序付けられた集合（せいれつじゅ...概要を表示 整列集合（せいれつしゅうごう、英: well­ordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (well­order) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。 整列集合 X の任意の元 s は、それが X の最大元でない限り、ただ一つの後者（successor; 後継、次の元、直後の元）を持つ。これはつまり、s よりも大きな X の元全体の成す部分集合における最小元として s の後者が決まるということである。また、整列集合 X の中で上に