Em matemática, uma função injetável é uma função f : AB com a seguinte propriedade. Para cada elemento b no codomínio B há no máximo um elemento a no domínio A tal que f(a)=b.

O termo injeção e os termos correlatos surjection e bijection 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.

Uma função injetável é freqüentemente chamada de função 1-1. Entretanto, uma correspondência 1-1 é uma função bijectiva (tanto injectiva quanto superjetiva). Isto é confuso, portanto, tenha cuidado.