升链条件

维基百科,自由的百科全书
跳转至: 导航搜索

数学上,偏序集P适合升链条件,若任意P的元素的升 a1 ≤ a2 ≤ ...最终固定,就是說存在正整数n,使得对所有m > n,有am = an。类似地,P适合降链条件,若任意P的元素的降链a1 ≥ a2 ≥ ...最终固定(就是说不存在无穷降链)。

P的升链条件等价於最大条件:所有P的非空子集都有极大元。类似地,降链条件等价於最小条件:所有P的非空子集都有极小元。

所有有限偏序集都适合升链和降链条件。适合降链条件的全序集称为良序集