\begin{definition}[Definition:Identity (Abstract Algebra)/Right Identity]
Let $\struct {S, \circ}$ be an algebraic structure.
An element $e_R \in S$ is called a '''right identity''' {{iff}}:
:$\forall x \in S: x \circ e_R = x$
\end{definition}