(\forall \varepsilon \in Q^+)[\phi (\varepsilon)]\quad\Longleftrightarrow\quad(\forall \varepsilon \in R^+)[\phi (\varepsilon)]