>>643の続き

【注釈】
・降鎖条件を満たす全順序集合は整列集合と呼ばれる。

ーーーーーーーーーーーーーーーーーーーーーーーー
つまり、全順序集合というだけでは整列集合にはならない
（例：整数全体の集合Z、0≦x≦1となる実数x全体の集合[0,1]）