Eller E et sett og X en del av E . Den injeksjon kanon av X i E er den implementering som til x tilknyttede x .
For eksempel, når X = E , er den kanoniske injeksjonen ingen annen enn den identiteten kart over E .
La E være et sett, A tilhører settet av deler av E betegnet β (E); vi kaller kanonisk inkludering av A i E applikasjonen, betegnet IA definert av: A → E, x → x.
Hvis A = E er det identitetskartet til E i E betegnet IdE: E → E, x → x.
Hvis A er inkludert i E, er kanonisk inkludering IA en injeksjon, også kalt kanonisk injeksjon .