\begin{definition}[Definition:Norm/Division Ring]
Let $\struct {R, +, \circ}$ be a division ring whose zero is denoted $0_R$.
A '''(multiplicative) norm''' on $R$ is a mapping from $R$ to the non-negative reals:
{{:Definition:Multiplicative Norm on Ring}}
\end{definition}