整列集合

整列集合（せいれつしゅうごう、英: well­ordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (well­order) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。 (出典: 整列集合 - Wikipedia)