\begin{definition}[Definition:Bounded Above Sequence/Unbounded]
Let $\sequence {x_n}$ be a sequence in $T$.
$\sequence {x_n}$ is '''unbounded above''' {{iff}} there exists no $M$ in $T$ such that:
:$\forall i \in \N: x_i \preceq M$
Category:Definitions/Boundedness
\end{definition}