\begin{definition}[Definition:Bounded Above Set]
Let $\struct {S, \preceq}$ be an ordered set.
A subset $T \subseteq S$ is '''bounded above (in $S$)''' {{iff}} $T$ admits an upper bound (in $S$).
\end{definition}