Chama-se domínio o conjunto de todos os elementos de A que está associado à pelo menos um elemento de B.
Chama-se imagem o conjunto de todos os elementos de B que são imagens de pelo menos um elemento de A.
E contradomínio todos os elementos de B (conjunto de chegada).
Ex.:
Função Sobrejetiva: Uma função f diz-se sobrejetiva se o seu contradomínio coincide com o seu conjunto de chegada.
Função Injetiva: Uma função f diz-se injetiva se quaisquer dois elementos diferentes do seu domínio têm imagens diferentes.
Função Bijetiva: Uma função f diz-se bijetiva se é injetiva e sobrejetiva.