\begin{definition}[Definition:Algebra Loop]
An '''algebra loop''' $\struct {S, \circ}$ is a quasigroup with an identity element.
:$\exists e \in S: \forall x \in S: x \circ e = x = e \circ x$
\end{definition}