Let $\mathbb{Q}$ be the D368: Set of rational numbers.
Then $q$ is a rational number if and only if \begin{equation} q \in \mathbb{Q} \end{equation}