Em matemática, uma função ou bijeção é uma função f : AB que é tanto uma injeção quanto uma surjeção. Isto significa: para cada elemento b no codomínio Bexatamente um elemento a no domínio A tal que f(a)=b. Outro nome para bijecção é 1-1 correspondência.

O termo bijection e os termos relacionados surjection e injection foram introduzidos por Nicholas Bourbaki. Na década de 1930, ele e um grupo de outros matemáticos publicaram uma série de livros sobre matemática moderna avançada.