# Category:Inclusion Mappings

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$