\begin{definition}[Definition:Bounded Below Sequence]
Let $\struct {T, \preceq}$ be an ordered set.
Let $\sequence {x_n}$ be a sequence in $T$.
Then $\sequence {x_n}$ is '''bounded below''' {{iff}}:
:$\exists m \in T: \forall i \in \N: m \preceq x_i$
\end{definition}