biunívoco -ca

Que establece unha relación dun a un, como a existente entre os elementos de dous conxuntos, nos que todos os elementos dun deles están en correspondencia con todos os elementos do outro, de maneira que a cada elemento dun conxunto corresponde un elemento, e só un, do outro.

Aplicación que é inxectiva e exhaustiva á vez.