A basic rule in → group theory stating that there exists a unit group element e, called the identity, such that for any element a of the group a * e = e * a = a.
→ identity; → axiom.