\begin{definition}[Definition:Finite Difference Operator/Forward Difference]
Let $f: \R \to \R$ be a real function.
The '''forward difference operator''' on $f$ is defined as:
:$\map {\Delta f} x := \map f {x + 1} - \map f x$
\end{definition}