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