In de wiskunde is een binaire functie een functie van twee variabelen. Een binaire functie
voegt aan het geordende paar
de functiewaarde
toe. De argumenten
en
en de functiewaarden kunnen uit willekeurige verzamelingen komen. Men laat voor de notatie van de functiewaarde meestal de haakjes om het paar
weg en schrijft
in plaats van
.
Definitie
Een binaire functie
is een functie van het cartesisch product
van de verzamelingen
en
in de verzameling
:
![{\displaystyle f:X\times Y\to Z}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef086dc4bd7fa9c2000fe93037b486d3aa96c829)
Voorbeeld
De functie
stelt het delen voor van een geheel getal
door een positief geheel getal
.
![{\displaystyle f:\mathbb {Z} \times \mathbb {N} ^{+}\to \mathbb {Q} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/b389dd8dce7aba0fdccd67fb3fc698e7f2dcbb48)
en
.