Definición

Una función es una relación que cumple con las propiedades de existencia y unicidad.

Existencia: todo elemento del dominio le corresponda por lo menos un elemento de la imagen.

Unicidad: todo elemento del dominio le corresponda uno y solo un elemento de la imagen.

Una función definida entre dos conjuntos, de X en Y, es una relación que asigna a cada uno de los elementos del dominio, uno y sólo un elemento del codominio.