上确界

$$SupB$$

设 $⟨A,\le ⟩$ 是偏序集，B 是 A 的任意一个子集，若存在元素 $a\in A$ 使得

若元素 $a^{\prime }\in A$ 是 B 的 上界，元素 $a\in A$ 是 B 的任何一个上界，若均有 $a^{\prime }\le a$ 则称 $a^{\prime }$ 是 B 的 最小上界 或 上确界

---

下确界