Función Biyectiva

Función Biyectiva: 

En matematicas, una función es biyectiva si es al mismo tiempo inyectiva y 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.

Formalmente, dada una función :

La función es biyectiva si se cumple la siguiente condición:

Es decir, si para todo  de  se cumple que existe un único  de , tal que la función evaluada en  es igual a .

Dados dos conjuntos  e  finitos, entonces existirá una biyección entre ambos si y solo si   e  tienen el mismo número de elementos.