Para un elemento a de un conjunto C, con una operación * y el elemento neutro e con respecto a esta operación, se dice del elemento b de C que operado con a da el elemento neutro e, es decir: a * b = b * a = e.