Search results

...e form a category in their own right. For example the composition of two [[injective function|injective functions]] is itself injective. Generally the composition of two

...and in₂ from ''X'' and ''Y'' to the disjoint union, which are [[injective function]]s with disjoint images.

* An [[injective function]] ''f'' has the property that if <math>x_1 \neq x_2</math> then <math>f(x_1 ...'' to '''R'''. The restriction of ''f'' to the positive real numbers is [[injective function|injective]], whereas ''f'' is not.

...</math> implies <math>f(x) < f(y)</math>: such a function is necessarily [[injective function|injective]].

...rm of quadratic extension. The map <math>X \mapsto X^2</math> is always [[injective function|injective]], and in the case of [[finite field]]s it is therefore also [[su

*The mapping ''f'' is [[injective function |''injective'']] (or ''one-to-one'') if ''a₁ ≠ a₂''

An [[group embedding|embedding]] is an [[injective function|injective]] homomorphism (or, equivalently, one whose kernel consists only