In de verzamelingenleer is een binaire operatie een functie die ieder paar van elementen van een verzameling afbeeldt op één element van de verzameling. Vaak wordt de prefixnotatie f(a,b)=c dan vervangen door een infixnotatie a ◦ b = c. Op de verzameling van gehele getallen zijn bijvoorbeeld optelling, vermenigvuldiging en aftrekken binaire operaties: Voor 2 getallen a en b definiëren ze een derde getal, respectievelijk a+b, a*b en a-b.
Zie meer op Wikipedia.org...