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 .