Definição de Função Sobrejetora

Todo elemento no contradomínio deve estar ligado à pelo menos um elemento da imagem, de modo que o conjunto fique completo sem nenhum elemento remanescente.