C'est aussi la particularité des réels : on peut toujours trouver un nombre compris entre deux autres (pour ça aussi qu'on a \doubleR = ]-infini;+infini[, car on trouve pas de nombre plus grand que +infini ou plus petit que -infini)
Entre 0,9 et 1, tu peux encore trouver 0,99. Puis encore 0,999. Maintenant, avec un nombre infini de 9, tu peux pas rajouter un truc au logarithme décimal inférieur à -infini. Pareillement, tu peux écrire 1 comme <1,00000...>. Il te faudrait trouver donc un réel compris entre 1,000000... et 0,999999... Pour le dernier, on a trouvé que ça collait pas. Pour le premier, si tu enlèves un tel nombre, tu retomberais sur 0,999999... Mais y a pas de nombres compris entre ce nombre et 0. Donc on impose en effet que les deux soient égaux, car leurs écritures décimales sont équivalentes.