inclusion map

Noun

• A function between two sets $A$ and $B$, with the former being a subset of the latter, that maps elements from $A$ to the corresponding elements of $B$ ($\backslash iota\; :\; A\; \backslash to\; B,\; \backslash iota(x)\; =\; x$).