Original: Inverse element For each a in G, there exists an element b in G such that a • b = b • a = e, where e is the identity element.
Simplified: There exists an element e in G, such that for all elements a in G, the equation e • a = a • e = a holds.