整列集合
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/09/01 15:54 UTC 版)
整列集合(せいれつしゅうごう、英: wellordered set)、または整列順序付けられた集合(せいれつじゅんじょづけられたしゅうごう)とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。
- ^ S. Feferman: "Some Applications of the Notions of Forcing and Generic Sets", Fundamenta Mathematicae, 56 (1964) 325-345
- 整列集合のページへのリンク