Definición formal
Las funciones pueden definirse en términos de otros objetos matemáticos, como los conjuntos y los pares ordenados. En particular, una función es un caso particular de relación binaria, luego su esta definición está basada en la que se adopte para las relaciones. En el enfoque «extensivo» se identifica una función con su gráfica:Una función es un conjunto f de pares ordenados tal que no contiene dos pares distintos con la misma primera componente:
El dominio (la imagen) de la función es entonces el conjunto de primeras (segundas) componentes:
