Función matemática

Aunque el término función se utiliza frecuentemente como sinónimo de aplicación, también es habitual que se le atribuyan los siguientes rasgos diferenciadores:
1) no tiene por qué estar definida en todo el conjunto de partida; al subconjunto en el que está definida se le llama dominio de la función, y al conjunto de los valores que toma, recorrido, contradominio o imagen;
2) puede ocurrir que algún elemento del dominio tenga dos o más imágenes; en tal caso se dice que la función es multívoca, por oposición a unívoca, caso este último que corresponde, como en la aplicación, a la unicidad de la imagen;
3) una función suele estar definida y tomar valores en conjuntos numéricos o asociados a conjuntos numéricos: cuerpo real, cuerpo complejo, espacios vectoriales sobre los reales o los complejos, etc.