A discrete integral domain is a commutative discrete cancellation ring $(A, +, -, 0, \cdot, 1)$ with a term $p: (0 = 1) \to \emptyset$.
The integers are a discrete integral domain.
The rational numbers are a discrete integral domain
Every discrete field is a discrete integral domain.