整列集合
順序集合 X が全順序集合である場合には、以下の条件はどれも互いに同値である。
X は整列集合である。つまり、空でない任意の部分集合が最小元を持つ。
X の全体で超限帰納法が有効である。
X の元からなる任意の狭義単調減少列は必ず有限な長さで停止する(ただし、従属選択公理を仮定する)。