\begin{definition}[Definition:Mapping/Definition 1]
Let $S$ and $T$ be sets.
A '''mapping''' from $S$ to $T$ is a binary relation on $S \times T$ which associates each element of $S$ with exactly one element of $T$.
\end{definition}