A function \(f\colon X\to Y\) is called injective or one-to-one if distinct elements are mapped to distinct values.

Links Link to heading

• function
• bijective function

Results Link to heading

• A function is injective if and only if it has a left inverse.