1. Se define una función binaria como una relación que hace corresponder a cada elemento de un conjunto de partida A un único elemento de un conjunto de llegada B.
2. El dominio de una función es el conjunto de partida A y el rango es el conjunto de llegada B.
3. Para que una relación sea una función, cada elemento del dominio debe corresponderse con un único elemento del rango.