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 bewerken

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

 

Voorbeeld bewerken

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

 

en

 .