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