覆盖关系

偏序的传递自反约简。偏序集 中的元素 覆盖另一个元素 ，当且仅当在偏序集中不存在第三个元素 使得 。在这种情况下， 被称为 的“上覆盖”， 被称为 的“下覆盖”。