\begin{definition}[Definition:Set of All Mappings]
Let $S$ and $T$ be sets.
The '''set of (all) mappings from $S$ to $T$''' is:
:$T^S := \set {f \subseteq S \times T: f: S \to T \text { is a mapping} }$
\end{definition}