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
