[...] Entonces vemos que en la definición tradicional de los números reales, la ecuación 0,9* = 1 está incorporada desde el comienzo." Una modificación suplementaria del proceso lleva a una estructura diferente en donde no son iguales.