Definition:Canonical Injection


 * Canonical Injection (Abstract Algebra): A mapping from an algebraic structure $\left({S, \circ}\right)$ into a cartesian product of $\left({S, \circ}\right)$ with any number of other algebraic structures.
 * Another name for the inclusion mapping.