\begin{definition}[Definition:Normed Division Subring]
Let $\struct {R, +, \circ, \norm {\, \cdot \,} }$ be a normed division ring.
A '''normed division subring''' of $\struct {R, +, \circ, \norm {\, \cdot \,} }$ is a subset $S$ of $R$ such that $\struct{S, +_S, \circ_S, \norm{\, \cdot \,}_S}$ is a normed division ring where:
:$(1) \quad +_S$ is the binary operation $+$ restricted to $S \times S$
:$(2) \quad \circ_S$ is the binary operation $\circ$ restricted to $S \times S$
:$(3) \quad \norm {\, \cdot \,}_S$ is the norm $\norm {\, \cdot \,}$ restricted to $S$.
Category:Definitions/Normed Division Rings
\end{definition}