升链条件

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

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

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.