Definition:Algebra Loop

Definition
An algebra loop $$\left({S, \circ}\right)$$ (or just loop) is a quasigroup with an identity.

That is:
 * $$\exists e \in S: \forall x \in S: x \circ e = x = e \circ x$$.