MathGloss

A lower bound of a subset $S$ of a poset $(X,\leq)$ is an element $a$ of $P$ such that for all $x\in S$, $a\leq x$.