Let $(X,\leq)$ be a poset and let $S\subseteq X$. The supremum of this subset, if it exists, is an upper bound $b$ of $S$ in $X$such that for all upper bounds $x$ of $S$ in $X$, $b\leq x$. That is, the supremum is the least upper bound.