1) Una función es una relación entre elementos de dos conjuntos A y B, donde a cada elemento de A le corresponde exactamente un elemento de B.
2) El dominio de una función es el conjunto A, y el codominio es el conjunto B.
3) Las funciones pueden clasificarse como inyectivas, sobreyectivas o biyectivas dependiendo de si cada elemento del codominio tiene una única preimagen, si todos los elementos del codominio tienen alguna preimagen, o si reúnen ambas propiedades respectivamente.