Uma função onde cada elemento do domínio é mapeado para um único elemento do contradomínio.

Uma função onde dois elementos diferentes do domínio podem ser mapeados para o mesmo elemento do contradomínio.

Uma função onde todos os elementos do contradomínio são usados.

Uma função que não possui elementos repetidos no domínio.