The

**set of injections**

*from*$X$

*to*$Y$ is the D11: Set \begin{equation} \mathsf{Inj}(X \to Y) : = \{ f \mid f : X \to Y \text{ is an injection} \} \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Map

▾ Injective map

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Map

▾ Injective map

Also known as

Set of injective maps, Set of set monomorphisms

Conventions