En mathématiques, une fonction bijective ou bijection est une fonction f : AB qui est à la fois une injection et une surjection. Cela signifie que pour chaque élément b dans le codomaine B, il y a exactement un élément a dans le domaine A tel que f(a)=b. Un autre nom pour la bijection est la correspondance 1-1.

Le terme bijection et les termes connexes de surjection et d'injection 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.