**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}

▾ 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

▾ 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

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