Una función biyectiva es una función que es tanto inyectiva como sobreyectiva.
Una función inyectiva, también llamada función uno a uno, conserva la distinción: nunca asigna dos elementos en su dominio al mismo elemento en su rango. Una función surjective, también llamada función sobre, cubre todo el rango. Es decir, por cada [matemática] y [/ matemática] en el rango, hay una [matemática] x [/ matemática] en el dominio tal que [matemática] f (x) = y [/ matemática].
Una función biyectiva tiene ambas propiedades. Esto significa que por cada [matemática] y [/ matemática] en el rango, hay exactamente una [matemática] x [/ matemática] en el dominio tal que [matemática] f (x) = y [/ matemática]. Esto significa que las funciones biyectivas son invertibles: si representamos la función de la manera que tenemos en los diagramas anteriores, invertir las direcciones de las flechas producirá una función inversa. Se definirá en todo el rango debido a la surjectividad, y tendrá un solo valor debido a la inyectividad.