Identity Element

Definition

Let $(S,\ast )$ be a set $S$ equipped with a binary operation $\ast$. If $\exists e\in S:\forall s\in S,(e\cdot s=s)\wedge (s\cdot e=s)$, then an element $e$ is an identity element.

An element that leaves unchanged every element when the operation is applied