下界

下确界

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

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