Concept history

Concept created

##### Définition formelle

Soit $B$ un ensemble et $A$ une [[Sous-ensemble|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é|application identité]] de $B$.