Operation binari

Un operation binari es un operation mathematic con exactemente duo operandos, sovente aperiente in le algebra.

In caso de duo argumentos $x$ e $y$, un operation binari $\circ$ rende le resultato $x\circ y$.

Definition

Un operation binari es un function $f:A\times B\to C$ del duo insimules $A$ e $B$ al tertie insimul $C$. Illo adjunge un elemento $c\in C$ (le resultato del operation) al par ordinate $(a,b)$ de elementos $a\in A$ e $b\in B$. Si iste tres insimules $A$, $B$ e $C$ es equal, le operation es interne, si non, le operation es externe.

Operationes binari es le clave al major parte del structuras algebric como quasigruppos, semigruppos, monoides, loopes, gruppos, anellos e corpores.