Definition:Canonical Injection


 * Set Theory:
 * Another name for the inclusion mapping.


 * Abstract Algebra:
 * Canonical Injection: A mapping from an algebraic structure $\struct {S, \circ}$ into a cartesian product of $\struct {S, \circ}$ with any number of other algebraic structures.