\begin{definition}[Definition:Dyadic Rational]
A '''dyadic rational''' is a rational number whose denominator, when expressed in canonical form, is an integral power of $2$.
That is, $a \in \Q$ is '''dyadic''' {{iff}}:
:$\exists p \in \Z, q \in \Z_{>0}: a = \dfrac p {2^q}$
\end{definition}