Una función biyectiva es una función que cumple con ser inyectiva, es decir, que a cada elemento del conjunto dominio le corresponde de forma única un elemento del conjunto codominio, y también es sobreyectiva, lo que significa que todo elemento del conjunto codominio es imagen de algún elemento del conjunto dominio. El documento provee ejemplos de funciones biyectivas y no biyectivas para ilustrar estas propiedades.