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