\begin{definition}[Definition:Nonassociative Algebra]
Let $\left({A_R, \oplus}\right)$ be an algebra over a ring.
Then $\left({A_R, \oplus}\right)$ is a nonassociative algebra {{iff}} it is not necessarily the case that $\oplus$ is associative.
\end{definition}