Sean 
y 
conjuntos no vacíos. Una función 
de en
es una regla de correspondencia tal que, a
cada elemento de
le asocia un único elemento en .
La anterior definición aunque es útil, no es rigurosa. Se cuestiona qué entender por "regla de correspondencia". Si deseas, puedes dar clic aquí, para ver la definición formal de función.
Notación
f función de A en B |
A Dominio de la función f |
B Codominio de la función f |
Rango de la función f |
Ejemplos
Cada
elemento del Dominio tiene asociado un único
elemento en el Codominio. Así, son
reglas de asociación que establecen una función.
Varios
elementos del dominio pueden tener asociado el mismo elemento del codominio.
Es seguro que muchos seres humanos hayan nacido en la misma fecha.
No ejemplos
Es seguro que haya alumnos que no tengan computadora o inclusive puede ser que haya alumnos que tengan más de una. Es una regla de asociación que no establece una función.