Una función formula_163 de dos variables, es una regla que asocia a cada par ordenado formula_277uno y solamente un elemento formula_278 El conjunto formula_150 es el dominio de formula_163 y formula_227 es el codominio de formula_163.