Definition:Dyadic Rational

Definition
A dyadic rational is a rational number whose denominator, when expressed in Canonical Form of Rational Number, is an integral power of $2$.

That is, $a \in \Q$ is dyadic iff:
 * $\exists p \in \Z, q \in \Z_+^*: a = \dfrac p {2^q}$