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