A commutative discrete division ring is a discrete division ring with a commutative identity for :
Every commutative discrete division ring is a commutative discrete reciprocal ring.
The rational numbers are a commutative discrete division ring.
Every commutative discrete reciprocal ring is a commutative discrete division ring, and thus every discrete field is a commutative discrete division ring.