Una función es una relación que asocia a cada elemento de una colección de datos.
A la primera colección se le llama DOMINIO y a la segunda colección se le llama CONTRA DOMINIO. La relación que debe de existir entre estas dos colecciones debe cubrir los siguientes datos.
1.- Todos los elementos del DOMINIO deben de tener una imagen en el CONTRA DOMINIO.
2.- Cada elemento del DOMINIO debe tener una y solamente una imagen.
3.- Los elementos del DOMINIO se presentan con una variable llamada "INDEPENDIENTE", generalmente se usa la letra (X).
4.- Los elememtos del CONTRA DOMINIO se presentan con una variable llamada 2DEPENDIENTE" y se utiliza la literal (Y) y se puede simbolizar con la siguiente expresión algebraica Y = F (X) °.° ( de donde o por lo tanto), es decir si tenemos datos en "X" podemos calcular los datos de "Y" cómo se muestra en el siguiente ejemplo.