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