Canonical injection
Set
$X,Y$
$X\subseteq Y$
$ \{\iota\} $
$ \iota:X\to Y $
$ \iota=\text{id}_X $
Ramifications
Reference
Wikipedia:
Inclusion map
Parents
Context
Function
Related
Identity relation