Conhecemos uma função como sobrejetora se todos os elementos do seu contradomínio forem imagem de pelo menos um elemento no domínio.
