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