Transformación biunívoca
es aquella que a cada elemento de una clase hace corresponder uno y sólo uno de la otra y, al mismo tiempo, cada elemento de la segunda es el transformado del elemento de la primera. Es decir, la correspondencia biunívoca es univoca y recíproca, al mismo tiempo.