Definition:Quasigroup/Left Quasigroup

Definition
Let $\struct {S, \circ}$ be a magma.

$\struct {S, \circ}$ is a left quasigroup :
 * for all $a \in S$, the left regular representation $\lambda_a$ is a permutation on $S$.

That is:
 * $\forall a, b \in S: \exists ! x: a \circ x = b$

Also see

 * Definition:Right Quasigroup