Description: A sub-division-ring is a subset of a division ring's set which is a
division ring under the induced operation. If the overring is
commutative this is a field; no special consideration is made of the
fields in the center of a skew field. (Contributed by Stefan O'Rear, 3-Oct-2015)