Definition:Division Subring

Let $$\left({R, +, \circ}\right)$$ be a ring.

A division subring of $$\left({R, +, \circ}\right)$$ is a subset $$S$$ of $$R$$ such that $$\left({S, +_S, \circ_S}\right)$$ is a division ring.