\begin{definition}[Definition:Mapping/Definition 4]
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$.
\end{definition}