Definition:Mapping/Definition 1

Definition
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$.

Also see

 * Equivalence of Definitions of Mapping