\begin{definition}[Definition:Inclusion Mapping]
Let $T$ be a set.
Let $S\subseteq T$ be a subset.
The '''inclusion mapping''' $i_S: S \to T$ is the mapping defined as:
:$i_S: S \to T: \forall x \in S: \map {i_S} x = x$
\end{definition}