整列集合
整列集合(せいれつしゅうごう、英: well-ordered set)、または整列順序付けられた集合(せいれつじゅんじょづけられたしゅうごう)とは、数学における概念の一つであり、整列順序を備えた集合のことをいう。 ここで、集合 S {\displaystyle S} 上の整列順序関係(well-order)とは、 S {\displaystyle S} 上の全順序関係 ≤ {\displaystyle \leq } であって、 S {\displaystyle S} の任意の非空部分集合が必ず ≤ {\displaystyle \leq } に関する最小元をもつものをいう。