\begin{definition}[Definition:Bounded Below Mapping/Unbounded]
Let $f: S \to T$ be a mapping whose codomain is an ordered set $\struct {T, \preceq}$.
Then $f$ is '''unbounded below (in $T \ $)''' {{iff}} there exists no $L \in S$ such that:
:$\forall x \in S: L \preceq \map f x$
Category:Definitions/Boundedness
\end{definition}