Identity

An identity element in a set $X$ with a binary operator $\cdot: X \times X \to X$ is an element $e \in X$ such that $e \cdot x = x \cdot e = x, \forall x \in X.$