Definição. Uma função f é dita sobrejetora se, para todo y∈CD(f), existe x∈D(f), tal que y=
f(x). Ou seja, f é sobrejetora se, e somente se, Im(f)= CD(f). No diagrama de flechas de uma função sobrejetora nenhum elemento do contradomínio
fica sem receber uma flecha..Que essa condição de
sobrejetividade não impede que um elemento do contradomínio receba mais do que uma flecha, e assim, uma função pode ser sobrejetora sem que seja injetora.