E.3 Propriedades de Funções
Função sobrejetora: uma função f:S → T é sobrejetora se sua imagem é igual ao seu contradomínio.
Função injetora: uma função f:S → T é injetora se nenhum elemento de T é a imagem, sob f, de dois elementos distintos em S.
Função bijetora: uma função f:S → T é bijetora se é simultaneamente injetora e bijetora.
A Figura E.4 apresenta ilustrações simples das propriedades das funções. Em cada caso, o domínio está à esquerda e o contradomínio, à direita.
