Lower Bound

Definition

Consider an Partially Ordered Set $X$ and a subset $Y\subset X$. The set $Y$ is bounded-below if $\exists x_0\in X,\text{s.t.}\forall y\in Y,y\ge x_0$ where $x_0$ is the lower bound of the set $Y$.