Definition:Division Subring

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