数学において、整列順序付けられた集合または整列集合（せいれつしゅうごう、）とは、整列順序を備えた集合のことをいう。ここで、集合 "S" 上の整列順序関係 とは、"S" 上の全順序関係 "≤" であって、"S" の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 ("S

出典:wikipedia