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