\begin{definition}[Definition:Normed Division Ring]
Let $\struct {R, +, \circ}$ be a division ring.
Let $\norm {\,\cdot\,}$ be a norm on $R$.
Then $\struct {R, \norm{\,\cdot\,} }$ is a '''normed division ring'''.
\end{definition}