Definition:Algebra Loop

Definition
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$

Also known as
Some sources refer to an algebra loop as just a loop.