偏序集

偏序集（或 poset）是一個與定義在其上的偏序一起考慮的集合。形式上，偏序集定義為一個有序對 ，其中 稱為 的基集，而 是 的偏序。

在偏序集 中的元素 被稱為子集 在 中的上界，如果對於每個 ，我們有 。類似地，子集 的下界是一個元素 ，使得對於每個 ，。如果 存在上界和下界，則稱 poset 是有界的。