Definition:Quasigroup

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