▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Collection of sets
▾ Set union
▾ Successor set
▾ Inductive set
▾ Set of inductive sets
▾ Set of natural numbers
▾ Set of integers
▾ Set of rational numbers
▾ Rational number
▾ P-adic basic rational number
Dyadic basic rational number
Formulation 0
A D994: Rational number $q \in \mathbb{Q}$ is a dyadic basic rational number if and only if \begin{equation} \exists \, n \in \mathbb{Z}, \, m \in \mathbb{N} : q = \frac{n}{2^m} \end{equation}
Also known as
2-adic basic rational number