Es una
relación entre dos
conjuntos, donde cada elemento del conjunto de inicio o de entrada tiene
una y solo una imagen o salida en el conjunto de llegada.
1. Cada elemento del conjunto de partida tiene que tener una
imagen
2. Cada elemento tiene que tener
una y solo una imagen
El conjunto de inicio se llama
Dominio y el de llegada
Codominio.
El subconjunto de los elementos del Codominio que son imágenes de los elementos del conjunto de partido, se llama
Rango