Binaire functie

In de wiskunde is een binaire functie een functie van twee variabelen. Een binaire functie $f$ voegt aan het geordende paar $(x,y)$ de functiewaarde $f(x,y)$ toe. De argumenten $x$ en $y$ en de functiewaarden kunnen uit willekeurige verzamelingen komen. Men laat voor de notatie van de functiewaarde meestal de haakjes om het paar $(x,y)$ weg en schrijft $f(x,y)$ in plaats van $f((x,y))$.

Definitie

Een binaire functie $f$ is een functie van het cartesisch product $X\times Y$ van de verzamelingen $X$ en $Y$ in de verzameling $Z$:

$f:X\times Y\to Z$

Voorbeeld

De functie $f$ stelt het delen voor van een geheel getal $z\in \mathbb {Z}$ door een positief geheel getal $n\in \mathbb {N} ^{+}$.

$f:\mathbb {Z} \times \mathbb {N} ^{+}\to \mathbb {Q}$

en

$f(z,n)={\frac {z}{n}}$.