Para todo a de A, existe un e de A que cumple que operando a con e el resultado es a.