# Category:Definitions/Injections

Jump to navigation
Jump to search

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.

## Pages in category "Definitions/Injections"

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

### C

### I

- Definition:Injection
- Definition:Injection/Also known as
- Definition:Injection/Definition 1
- Definition:Injection/Definition 1 a
- Definition:Injection/Definition 2
- Definition:Injection/Definition 3
- Definition:Injection/Definition 4
- Definition:Injection/Definition 5
- Definition:Injection/Definition 6
- Definition:Injection/Graphical Depiction
- Definition:Injective Restriction