Definition:Mapping/Definition 4

Definition
Let $S$ and $T$ be sets. A mapping from $S$ to $T$ is a relation on $S \times T$ which is:
 * $(1): \quad$ Many-to-one
 * $(2): \quad$ Left-total, that is, defined for all elements in $S$.

Also see

 * Equivalence of Definitions of Mapping