Definition:Generated Division Subring

Definition
Let $\left({D, +, \circ}\right)$ 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