全序关系

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