Esta aplicación está bien definida, pues a cada elemento del conjunto de partida, le corresponde solo uno del conjunto de llegada.