===== Canonical injection =====
==== Set ====
| $X,Y$ |

| $X\subseteq Y$ |

^ $ \{\iota\} $ ^

| $ \iota:X\to Y $ |

^ $ \iota=\text{id}_X $ ^

==== Ramifications ====
==== Reference ====
Wikipedia: [[http://en.wikipedia.org/wiki/Inclusion_map|Inclusion map]]

==== Parents ====
=== Context ===
[[Function]]
=== Related ===
[[Identity relation]]