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