覆蓋關係

偏序的傳遞自反約簡。偏序集 中的元素 覆蓋另一個元素 ，當且僅當在偏序集中不存在第三個元素 使得 。在這種情況下， 被稱為 的“上覆蓋”， 被稱為 的“下覆蓋”。