\begin{definition}[Definition:Increasing/Sequence/Real Sequence]
Let $\sequence {x_n}$ be a sequence in $\R$.
Then $\sequence {x_n}$ is '''increasing''' {{iff}}:
:$\forall n \in \N: x_n \le x_{n + 1}$
\end{definition}