En álgebra las operaciones binarias internas en el conjunto A, o bien las aplicaciones de A x A en A:

son las de mayor interés, porque se utilizan tanto en los sistemas numéricos como en relaciones binarias en los sistemas algebraicos. Las operaciones gozan de ciertas propiedades, usadas con frecuencia en la axiomatización de los diversos sistemas matemáticos, en palabras de George David Birkhoff.
Propiedades de una ley de composición interna[editar]
Dado un conjunto A no vacío y definida una aplicación de
sobre A, donde a cada par ordenado (a,b) se le asigna un valor c de A, que representamos:

La ley de composición:
es interna dado que se cumple:

Para todo par ordenado (a,b) en A por A, se cumple que existe un único c en A, tal que c es el resultado de operar a con b.
Pueden tener las siguientes propiedades:
Propiedad conmutativa[editar]
Dado un conjunto no vacío A, en el que se ha definido una ley de composición interna
, que se representa:
, se dice que
tiene la propiedad conmutativa en A si se cumple:

Para todo a, b de A, se cumple que el resultado de operar a con b es igual al de operar b con a.
Del mismo modo podemos decir que la ley de composición interna
, no es conmutativa en A si:

Si existe algún a, b en A, que cumple que el resultado de operar a con b es distinto de operar b con a.
Propiedad anticonmutativa[editar]
La operación
en A es anticonmutativa si:

Para todo a, b de A, se cumple que el resultado de operar a con b es igual al opuesto de operar b con a.
en general, para cualquier par de vectores a, b:

Propiedad asociativa[editar]
Sea A un conjunto no vacío y
una operación binaria en A, se dice que
es asociativa si, solo si:

Para todo a, b, c de A se cumple que operando a con b y el resultado con c es igual a operar a con el resultado de operar b con c.
También se puede decir que la operación
no es asociativa si se cumple:

Existen a, b, c en A que cumplen que operando a con b y el resultado con c es distinto de operar a con el resultado de operar b con c.
Propiedades con dos leyes de composición interna[editar]
Dado un conjunto A no vacío y definidas dos aplicación de A por A sobre A, donde a cada par ordenado (a,b) se le asigna con la operación
un valor c de A y con la operación
el valor d de A que representamos:
.

Pueden tener las siguientes propiedades:
Propiedad distributiva[editar]
Dado un conjunto A no vacío en el que se han definidos dos operaciones internas, que expresaremos
, se dice que la operación
es distributiva por la izquierda de
si se cumple:

Del mismo modo se dice que la operación
es distributiva por la derecha de
si se cumple:

Una operación
es distributiva sobre otra
si es distributiva por la derecha y por la izquierda.
Elementos distinguidos[editar]
Elemento neutro[editar]
Si se tiene el conjunto A, no vacío, provisto de una operación binaria
, que indicaremos:
,

Diremos que el elemento e, es el elemento neutro por la derecha si:

Para todo a de A, se cumple que existe e de A, tal que operando e con a el resultado es a.
Se demuestra que si hay otro elemento neutro por la derecha:
, tal que:
, entonces:
; hecho que se conoce como unicidad del elemento neutro.
Diremos que el elemento e, es el elemento neutro por la izquierda si:

Para todo a de A, se cumple que existe e de A, tal que operando a con e el resultado es a.
Se demuestra que si hay otro elemento neutro por la izquierda:
, tal que:
, entonces:
; hecho que se conoce como unicidad del elemento neutro.
Un elemento e es elemento neutro en
si es elemento neutro por la derecha y por la izquierda.

Para todo a de A, se cumple que existe e de A, tal que el resultado de operar e con a es igual a operar a con e y es igual a a.
Elemento simétrico[editar]
Sea A un conjunto no vacío y
una operación binaria:

Se dice que un elemento
tiene:
El elemento simétrico por la izquierda respecto de la operación
si:

El elemento simétrico por la derecha respecto de la operación
si:

El elemento simétrico respecto de la operación
, si existe, es elemento simétrico por la izquierda y por la derecha, esto es:

Un elemento simétrico
de
es simétrico por la derecha del elemento
y simétrico por la izquierda del elemento
. Donde e es el elemento neutro.
- En la operación suma, el elemento simétrico, se suele denominas opuesto o inverso aditivo.
- En la operación multiplicación, el elemento simétrico, se suele denominar inverso o inverso multiplicativo.
Elemento involutivo[editar]
Sea A un conjunto no vacío y
una operación binaria:

Diremos que
es elemento involutivo si:

- El 0 es elemento involutivo respecto a la suma en el conjunto Z de los números enteros:

- el 0 y 1 son elementos involutivos respecto de la multiplicación en el conjunto Z de los enteros:

Elemento absorbente[editar]
Sea A un conjunto no vacío y
una operación binaria:

Diremos que
es Elemento absorbente si:

Se denomina así al elemento s de A, tal que para todo a de A se cumple que operado s con a es igual que operas a con s y el resultado es s.
- 0 es elemento absorbente un sistema numérico multiplicativo.

- El conjunto vacío Ø es elemento absorbente para la intersección definida en el conjunto de partes de U.

- El conjunto universal U es elemento absorbente para la unión definida en el conjunto de partes de U.

Operación simétrica[editar]
Sea A un conjunto con una operación binaria
:

por lo que cabe la ecuación:

Si:

Si
admite elementos simétricos, se define:

Agrupando:

donde e es el elemento neutro:

simplificando:

La operación simétrica seria

Que se definiria:
