Para un conjunto A, no vacío, dotado de una ley de composición interna: formula_16, se dice que este conjunto, con esta ley de composición interna, tiene elemento neutro: e, si se cumple que: