# Homotopy Type Theory discrete domain > history (changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

## Definition

A

discrete domain is a discrete cancellation ring $(A, +, -, 0, \cdot, 1)$ with a term $p: (0 = 1) \to \emptyset$.