ThmDex – An index of mathematical definitions, results, and conjectures.
F13320
Formulation 1
The set of dyadic rational numbers is the D11: Set \begin{equation} \left\{ \frac{n}{2^m} : n \in \mathbb{Z}, \, m \in \mathbb{N} \right\} \end{equation}