下确界

$$InfB$$

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

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