\begin{definition}[Definition:Ring of Quaternions]
The '''ring of quaternions''' $\struct {\H, +, \times}$ is the set of quaternions under the two operations of quaternion addition and quaternion multiplication.
\end{definition}