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\}$$