Binaire functie
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 :

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

Wiskundige functie