¿Qué son los bosques de China?

Un árbol binario se define en teoría de grafos como un gráfico acíclico conectado con el grado de cada vértice no mayor que 2. Un árbol binario enraizado debe satisfacer que el grado del nodo raíz no sea mayor que 2. Para el nodo raíz, cada vértice define un nodo principal único y hasta dos nodos secundarios. Sin embargo, no hay suficiente información para distinguir entre los nodos izquierdo y derecho. Si no se considera la conectividad, el gráfico permite múltiples componentes conectados, y dicha estructura se denomina bosque. Un bosque también puede considerarse como muchos árboles no vacíos, y solo un árbol puede considerarse bosque. Pero un bosque no es necesariamente un árbol. Un bosque también puede tener raíces, cuando todos los árboles del bosque tienen raíces.

Mi entendimiento es: un árbol binario es un bosque muy especial;