\begin{definition}[Definition:Generated Division Subring]
Let $\struct {D, +, \circ}$ be a division ring.
Let $S \subseteq D$.
The '''division subring generated by $S$''' is the smallest division subring of $D$ containing $S$.
\end{definition}