(Matemáticas) Cómo se llama una aplicación en que todo elemento del conjunto de llegada le corresponde algún elemento del conjunto de salida.