定义： 设(A, ≦)是一个偏序集，≦是A上的偏序关系。若对于任意的元素x, y ∈ A，都有x ≦ y 或 y ≦ x 成立 ，即 x 和 y 是可比的，则称≦为A上的一个全序关系，且称(A, ≦)为全序集。