Define el orden lexicográfico y la operación de adición, notando que 0,999... < 1 simplemente porque 0 < 1 en el lugar de las unidades, pero para cualquier "x" no terminal, se tiene 0,999... + "x" = 1 + "x".