Uma função sobrejetora (ou função subjetiva) é aquela cujo contradomínio é igual ao conjunto-imagem.
Por exemplo, tomando a função \(f\colon\{1,2,3,4\}\to\{5,6,7\}\), temos que seu contradomínio é o conjunto:
$$CD=\{5,6,7\}$$
Pelo seu diagrama de flechas, podemos notar que seu conjunto-imagem vale:
$$Im=\{5,6,7\}$$
Ou seja, \(f\) é uma função sobrejetora.
Já a função \(g\colon{1,2,3,4\}\to\{5,6,7\}\), dada pelo diagrama a seguir não é sobrejetora:
O seu conjunto-imagem é claramente é diferente do contradomínio:
$$Im=\{5,7\}$$
Se \(f\colon A\to B\) for uma função, de modo que seu conjunto-imagem seja um conjunto \(C\) de tal modo que \(C=B\), então podemos afirmar que \(f\) é uma função: