A discrete cancellation ring is a ring $(A, +, -, 0, \cdot)$ with
The integers are a discrete cancellation ring.
The rational numbers are a discrete cancellation ring.
Every discrete domain is a discrete cancellation ring.
Every discrete division ring is a discrete cancellation ring.
Every discrete reciprocal ring is a discrete cancellation ring.