# Category:Definitions/Injections

This category contains definitions related to Injections.
Related results can be found in Category:Injections.

A mapping $f$ is an injection, or injective if and only if:

$\forall x_1, x_2 \in \Dom f: \map f {x_1} = \map f {x_2} \implies x_1 = x_2$

That is, an injection is a mapping such that the output uniquely determines its input.

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Definitions/Injections"

The following 14 pages are in this category, out of 14 total.