Definition:Quasigroup

Definition
A quasigroup is a groupoid $\left({S, \circ}\right)$ such that $\forall a \in S$, the left and right regular representations $\lambda_a$ and $\rho_a$ are permutations on $S$.