Além da função sobrejetora, em que o domínio da função é igual ao seu conjunto imagem, uma função pode ser classificada como injetora ou bijetora. Função injetora: a função é considerada injetora quando existe um único valor de x tal que f(x) = y considerando um elemento y pertencente à imagem da função. Função bijetora: a função é considerada bijetora se ela é sobrejetora e injetora simultaneamente.