Esta definición es precisa, aunque en matemáticas se utiliza una definición formal más rigurosa, que construye las funciones como un objeto concreto a partir de la idea de pares ordenados.