Every strictly decreasing sequence of elements of the set must terminate after only finitely many steps (assuming the axiom of dependent choice).

• 注意这个第三点：对于一个良序集，任何严格递减序列都必然是有限的，无论这个集合的基数有多大。