定義
極小条件（>>78）を満たす全順序集合を整列集合と呼ぶ。