Input (grade 12): 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.
Output (grade 9): There exists an element e in G, such that for all elements a in G, the equation e • a = a • e = a holds.