

- Graficamente, uma função f é injectiva se e somente se nenhuma recta horizontal intersecta o seu gráfico em mais do que um ponto.
NOTA: É importante notar que, neste tipo de função, o contradomínio tem uma cardinalidade sempre maior ou igual à do domínio. Além disso, podem haver mais elementos no contra-domínio que no conjunto imagem da função.
Sobrejetiva- O contradomínio coincide com o conjunto de chegada
Bijetiva- É uma função injetiva e sobrejetiva ao mesmo tempo.
Inversa- Se
é uma função injetiva, qualquer que seja o valor de y do seu contradomínio existe um e um só valor de x do domínio de
que tem y como imagem. Assim, a correspondência entre o contradomínio de
e o domínio de
, que a cada y do contradomínio de
faz corresponder o x do domínio de
, é unívoca, ou seja, é uma função. A esta nova função dá-se o nome de função inversa de
, e representa-se por
-1. Simbolicamente,

representa o domínio de
e o
representa o contradomínio de
.
-1 a função inversa da função
, o
=
e, reciprocamente,
=
.
para todo o x ∈
bem como
para todo o x ∈
.