Symbols:Greek/Iota/Inclusion Mapping

Inclusion Mapping
Used by some sources to denote the mapping on $S$ to $T$ where $S \subseteq T$ defined as:
 * $\iota_S: S \to T: \forall x \in S: \map {\iota_S} x = x$