\begin{definition}[Definition:Right Zero]
Let $\struct {S, \circ}$ be an algebraic structure.
An element $z_R \in S$ is called a '''right zero element''' (or just '''right zero''') {{iff}}:
:$\forall x \in S: x \circ z_R = z_R$
\end{definition}