DEFINICIÓN:
Llamaremos función entre dos conjuntos, uno de partida (dominio) y otro de llegada (codominio), a toda correspondencia en la que se cumplen dos condiciones:
- Todos los elementos del conjunto de partida tienen correspondiente
- El correspondiente de cada elemento del conjunto de partida es único
