## Definition ## A __discrete domain__ is a [[discrete cancellation ring]] $(A, +, -, 0, \cdot, 1)$ with a term $p: (0 = 1) \to \emptyset$. ## Examples ## * The [[integers]] are a discrete domain. * The [[rational numbers]] are a discrete domain * Every [[discrete skewfield]] is a discrete domain. ## See also ## * [[ring]] * [[domain (ring theory)|domain]]