Una función formula_158 es biyectiva si es inyectiva y sobreyectiva, lo que significa que a todo elemento del dominio le corresponde un único elemento del codominio y viceversa, o lo que es lo mismo, formula_163 define una relación biunívoca entre formula_7 y formula_8 (ver Figura 9).