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 $\backslash N$ geldt dat ook f(a,b) = a-b een element is van $\backslash N$.

Wiskunde

Zweistellige Verknüpfung | Binary operation | Operacio (matematiko) | Binaarne tehe | Loi de composition interne | פעולה בינארית | 二項演算 | Działanie dwuargumentowe | Бинарная операция | Binárna operácia | Dvočlena operacija | Binär operator | 运算