Identities are Idempotent

Theorem
Let $\left({S, \circ}\right)$ be an algebraic structure.

Then any left identities, right identities and two-sided identities of $\left({S, \circ}\right)$ are all idempotent.

Proof
These follow directly from the definitions: