Injection canonique

Soit B un ensemble et A une partie de B. L'injection canonique (ou inclusion canonique ou insertion^[1]) de A dans B est l'application qui à x associe x^[2].

${\displaystyle A}$ est une partie de ${\displaystyle B.}$

Par exemple, lorsque A = B, l'injection canonique n'est autre que l'application identité de B.