Injection canonique

Définition formelle

Soit $B$ un ensemble et $A$ une partie de $B$.

L’injection canonique de $A$ dans $B$ est l’application $\iota : A \to B$ définie par $\forall x \in A, \iota(x) = x$.
On note parfois l’injection canonique $\iota : A \hookrightarrow B$.

Dans le cas où $A = B$, on appelle cette application, l'application identité de $B$.