Una función de un conjunto (el dominio) a un conjunto (el codominio) es una regla que asigna a cada elemento exactamente un . El conjunto de todas las salidas reales es el recorrido (rango).
Las funciones son la columna vertebral de toda la matemática: el cálculo estudia sus derivadas e integrales, el álgebra lineal estudia funciones lineales (matrices) y la informática las estudia como algoritmos.
Una función puede definirse mediante:
- Una fórmula (),
- Una gráfica (conjunto de puntos ),
- Una tabla de pares entrada-salida,
- O una regla verbal.
La prueba de la recta vertical distingue las funciones de las relaciones arbitrarias: cualquier recta vertical corta la gráfica de una función a lo sumo una vez.