Dado un nodo en un árbol, sus hijos definen un bosque ordenado (la unión de subárboles dados por todos sus hijos, o lo que es equivalente, tomar el subárbol dado por el propio nodo y borrar la raíz).