Podemos entonces partir al conjunto de los números racionales en dos subconjuntos formula_96 y formula_97 de manera que en el conjunto formula_96 se encuentran todos los números racionales formula_99 y en formula_97 todos los números racionales tales que formula_101.