An identity element in a set with a binary operation is an element that leaves any element unchanged when combined with it in that operation.
Formally, we can define an element to be an identity element if the following two statements are true:
The existence of an identity element is a property of many algebraic structures, such as groups, rings, and fields.