Binaire functie

In de wiskunde is een binaire functie een functie van twee veranderlijken. Heel algemeen voegt een binaire functie aan het geordende paar de functiewaarde toe. De argumenten en en de functiewaarden kunnen uit willekeurige verzamelingen komen. Voor de notatie van de functiewaarde laat men meestal de haakjes om het paar weg en men schrijft in plaats van .

DefinitieBewerken

Een binaire functie   is een functie van het cartesisch product   van de verzamelingen   en   in de verzameling  :

 

VoorbeeldBewerken

De functie   stelt het delen voor van een geheel getal   door een positief geheel getal  .

 

en