\begin{definition}[Definition:Nonassociative Ring with Unity]
A '''non-associative ring with unity''' is a non-associative ring $(R, +, \times)$ such that $(R, \times)$ is a unitary magma.
\end{definition}