En mathématiques, une fonction injective est une fonction f : AB avec la propriété suivante. Pour chaque élément b dans le codomaine B, il y a au maximum un élément a dans le domaine A tel que f(a)=b.

Le terme injection et les termes connexes de surjection et de bijection ont été introduits par Nicholas Bourbaki. Dans les années 1930, avec un groupe d'autres mathématiciens, il a publié une série de livres sur les mathématiques modernes avancées.

Une fonction injective est souvent appelée fonction 1-1. Cependant, une correspondance 1-1 est une fonction bijective (à la fois injective et surjective). Ceci est déroutant, alors soyez prudent.