無窮降鏈

給定帶有偏序≤的一個集合SV無窮降鏈,就是說在V上的關係定義了全序S的子集,使得V沒有最小元素。其中,「最小元素」的定義是:我們稱m為最小元素,當且僅當對於在V中所有元素n有着mn

作為例子,在整數的集合中,鏈−1, −2, −3, ...是無窮降鏈,但是在自然數上沒有無窮降鏈,所有自然數的鏈都有一個極小元素。

如果偏序集合不包含任何無窮降鏈,則稱它為良基的。沒有無窮降鏈的全序集合是良序的。

參見