En mathématiques, une \textbf{fonction} va modéliser une \textbf{transformation} entre deux grandeurs. On la note
\[
f:x\mapsto f(x)
\]
$x$ est la grandeur transformée, on l'appelle aussi \textbf{l'antécédent}. L'ensemble des valeurs que peut prendre $x$ est appelé \textbf{ensemble de définition de $f$}.
\textbf{L'image} de $x$ est l'unique résultat de la transformation.