ein nicht assoziativer Ring R, in dem für alle a, b ∈ R, a ≠ 0, die Gleichungen

\begin{eqnarray}\begin{array}{ccc}ax=b & \text{und} & ya=b\end{array}\end{eqnarray}

eindeutige Lösungen x und y besitzen.