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

Identity relation