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>).