Mas no es el caso de w+1, que es distinto de w porque su el conjunto w+1 tiene un elemento máximo (el O del dibujo) mientras que el conjunto w no lo tiene (el límite de los naturales no es un natural).