> [!NOTE] **Definition** (Identity element of binary operation) > > Given a set $S$ and a [[Binary Operation]] $*$ on $S$. Then $e \in S$ is an identity element if $\forall a \in S \quad a*e = e*a = a.$