If A be the non-empty set and * be the binary operation on A. An element e is the identity element of a ∈ A, if a * e = a = e * a.

If the binary operation is addition(+), e = 0 and for * is multiplication(×), e = 1.