Uma função f  de A em B é biunívoca quando para todo a  b, se tem f(a)  f(b) em B.

Exemplos:

1- A própria associação entre os números reais e os pontos de uma reta coordenada é um exemplo de correspondência biunívoca.

2- a) Se f(x) = 2x + 5, com x real, prove que f é biunívoca.

     b) Se g(x) = x² + 3, com x real, prove que f n"ao é biunívoca.

Solução:

    a) Se a  b, então 2a  2b e, daí, 2a + 5  2b + 5 ou f(a)  f(b). Logo, f não é biunívoca.

    b) A função g não é biunívoca, pois diferentes números do domínio podem ter a mesma imagem. Por exemplo, embora -3  3, g(-3) = g(3) = 6.