Symbols:Greek/Iota/Inclusion Mapping

From ProofWiki
Jump to navigation Jump to search

Inclusion Mapping

Used by some sources to denote the inclusion 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$

The $\LaTeX$ code for \(\iota_S\) is \iota_S .