Binaire operatie
Van Wikipedia
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.
Op de verzameling natuurlijke getallen is aftrekken volgens deze definitie géén binaire operatie, omdat niet voor iedere a, b in 
geldt dat ook f(a,b) = a-b een element is van .
