Upper Bound

Definition

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