\begin{definition}[Definition:Division Subring]
Let $\struct {R, +, \circ}$ be a ring.
A '''division subring''' of $\struct {R, +, \circ}$ is a subset $S$ of $R$ such that $\struct {S, +_S, \circ_S}$ is a division ring.
\end{definition}