Una función mapea cada elemento de un conjunto de entrada (dominio) a un elemento único de un conjunto de salida (codominio). Para que una función sea inyectiva, cada elemento del codominio debe provenir de un único elemento del dominio. Para que sea sobreyectiva, cada elemento del codominio debe provenir de al menos un elemento del dominio. Una función es biyectiva si es tanto inyectiva como sobreyectiva.

2. Una función f de A en B (f: A B) es una relación
que cumple:
 El dominio de f es A.
 A cada elemento x e A le corresponde un
único elemento y e B que se denota por y = f(x) .
" x“ es la variable independiente y es la variable
dependiente. " y"

3. a cada
elemento de B
llega a lo sumo
una flecha.
La función es:
INYECTIVA
a cada
elemento de B
llega una y sólo
una flecha.
La función es:
BIYECTIVA
a cada
elemento de B
llega por lo
menos una
flecha.
La función es:
SOBREYECTIVA

4. Función Inversa