Unhaoperación binariadefínese como aquelaoperación matemáticaque precisa dunoperadore de dousoperandos(argumentos) para que se poida calcular un valor.
Dados tres conxuntosA,BeC,unha operación binaria é unha aplicación que asigna a cada par de valoresadeAebdeBun só valorcdeC,que podemos representar:
Representando a operación polo signopodemos expresar a operación:
Por exemplo, o operador de suma «+» de números naturais é un operador binario, porque require dous argumentos:
e temos que:
O número de argumentos dunha función denomínasearidade.
Se a operación non é interna, entón é externa, podéndose presentar os seguintes casos:
Se a cada par de valoresadeAebdeB,asígnaselle un valorcdeA,
a esta operación tamén se lle denominalei de composición externa.Un exemplo sinxelo desta operación é o produto dun vector por un escalar:
así, dado o vector:
o resultado de multiplicalo por un escalarb,será:
Se a operación é da forma:
na que a cada par de valoresa,bdeAse lle asigna uncdeB,esta operación non se denomina lei de composición. Como exemplo podemos poñer o produto escalar de dous vectores, que da como resultado un número real:
así pois, dados os vectores:
o seu produto escalar será:
Se a operación lle asigna a cada par de valoresadeAebdeBuncdeC,sendoA,BeCconxuntos distintos:
é o caso máis xeral, e tampouco se denomina lei de composición. Podemos ver o exemplo da división dunnúmero enteiroentre unnúmero naturalpara dar como resultado unnúmero racional