Elemento neutro
Artículo principal: Elemento neutro.
Si se tiene el conjunto A, no vacio, provisto de una operación binaria *, que indicaremos: (A,*),

diremos que el elemento e (del alemán einheit), es el elemento neutro por la derecha si:

Se demuestra que si hay otro elemento neutro por la izquierda e', tal que e'*a = a, e = e'; hecho que se conoce como unicidad del elemento neutro. Ejemplo: * En los sistemas aditivos Z, Q, R de los enteros, racionales y reales el 0 cero es el elemento neutro aditivo. Esto es a+0= 0+ a =a. * En los mismos sistemas, pero con la multiplicación, el 1 uno es el elemento neutro multiplicativo. a.1 = 1.a = a. * En el conjunto de los racionales con la operación a*b = a+b +ab , el elemento