Uma função é conhecida como sobrejetora quando o conjunto imagem da função é igual ao contradomínio da função. Assim, para que uma função seja sobrejetora é necessário que todos os elementos do contradomínio sejam correspondentes de pelo menos um elemento no domínio.