上界

可以比 上确界 大的

不一定在选中的集合里面

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

对任意 $x\in B$ 都有 $x\le a$ 则称 a 为 B 的上界

---

下界