# 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$