Seu conjunto imagem é igual ao seu contradomínio.

Dois valores distintos no domínio podem possuir a mesma imagem.

O domínio e o contradomínio possuem o mesmo número de elementos.

Um elemento do contradomínio é imagem de apenas um elemento do domínio.