f:XxX→X operazione binaria interna (su un insieme X)
L'insieme X, proprio per il fatto di avere questa opbin, e' chiamato Magma.
In generale: Operazione binaria interna o no.
"Le 4 operazioni (dell'aritmetica)" sono operazioni binarie, operazioni binarie numeriche.
f:XxX→X operazione binaria interna su X
f:ℝxℝ→ℝ operazione binaria interna su R
f(x,y) := x+y es: f(3;2) := 3+2 (3,2) → 3+2
f(x,y) := x*y
f(x,y) := x-y
f(x,y) := y-x
f(x,y) := y/x
f(x,y) := x/y
g(x,y) := f(y,x)
Se l'operazione binaria e' la simmetrica di se stessa, e' detta commutativa.
lg: Operazione binaria simmetrica di una data opbin.