In mathematics, an injective function is a function that preserves distinctness: it never maps distinct elements of its domain to the same element of its codomain. In other words, every element of the function's codomain is mapped to by at most one element of its domain. If in addition all of the elements in the codomain are in fact mapped to by some element of the domain, then the function is said to be bijective (see figures).

Injektivität oder Linkseindeutigkeit ist eine Eigenschaft einer mathematischen Funktion bzw. Relation.

Une application  est dite injective ou est une injection si pour tout <var>y</var> dans l'ensemble d'arrivée <var>Y</var>, il existe au plus un élément <var>x</var> dans l'ensemble de définition <var>X</var> tel que <var>f</var>(<var>x</var>) = <var>y</var>. On dit encore dans ce cas que tout élément <var>y</var> de <var>Y</var> admet au plus un antécédent <var>x</var> (par <var>f</var>).

Funkcja różnowartościowa (iniekcja, funkcja 1-1) to funkcja, która dla dowolnych dwóch różnych argumentów przyjmuje różne wartości.