Llamamos elemento neutro (respecto a la operación *) a un elemento e de $E tal que para todo elemento a de E se cumpla que "a * e = e = e * a".