件，若任意"P"的元素的升链 "a" ≤ "a" ≤ ...最终固定，就是说存在正整数"n"，使得对所有"m" > "n"，有"a" = "a"。类似地，"P"适合降链条件，若任意"P"的元素的降链"a" ≥ "a" ≥ ...最终固定（就是说不存在无穷降链）。"P"的升链条件等价于最大条件：所有"P"的非空子集都有极大元。类似地，降链条件等价于最小条件：所有"P"的非空子集都有极小元。所有有限偏序集都适合升链和降链条件。适合降链条件的全序集称为良序集。