比較元素

假設 是一個 非空集合 上的偏序。那麼，如果 或 成立，則稱 中的元素 是可比較的。

因為偏序集中的兩個元素不一定可比較，所以偏序集可能有多於一個極大元素。例如，假設我們有一個非空偏序集 ，其中每個元素都與其他元素不可比較，即 是完全無序的。由此可見， 的每個元素都是極大的。