比较元素

假设 是一个 非空集合 上的偏序。那么，如果 或 成立，则称 中的元素 是可比较的。

因为偏序集中的两个元素不一定可比较，所以偏序集可能有多于一个极大元素。例如，假设我们有一个非空偏序集 ，其中每个元素都与其他元素不可比较，即 是完全无序的。由此可见， 的每个元素都是极大的。