Se puede demostrar que esta definición (o la definición de los intervalos encajados) es consistente con el proceso de subdivisión, lo cual implica 0,999...