Definition:Generated Division Subring

Definition
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$.

Also see

 * Definition:Generator of Division Ring