\begin{definition}[Definition:Quasigroup/Right Quasigroup]
Let $\struct {S, \circ}$ be a magma. 
$\struct {S, \circ}$ is a '''right quasigroup''' {{iff}}:
:for all $a \in S$, the right regular representation $\rho_a$ is a permutation on $S$.
That is:
:$\forall a, b \in S: \exists ! x \in S: x \circ a = b$
\end{definition}