Definición
Una función es biyectiva si es al mismo tiempo una función inyectiva y una función sobreyectiva, es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.