全序集

設(A, ≦)是一個偏序集，≦是A上的偏序關係。若對於任意的元素x, y ∈ A，都有x ≦ y 或 y ≦ x 成立，即 x 和 y 是可比的，則稱≦為A上的一個全序關係，且稱(A, ≦)為全序集。