Pluvisilva
Los términos "bosque húmedo", "lluvioso" y "ombrófilo" son sinónimos que también se aplican, sin embargo pueden caer en ambigüedad si no se específica su naturaleza tropical y/o subtropical (pluvisilva) para diferenciar del bosque templado lluvioso (laurisilva). Por otro lado, hay estudios que diferencian el "bosque húmedo" del "bosque muy húmedo" y del "bosque pluvial" según la pluviosidad de menos a más. Los términos "bosque umbroso" o "umbrífero" aluden a la sombra que da el bosque denso, pues la selva presenta en los estratos inferiores plantas que crecen a la sombra (plantas "umbrófilas"), mientras los árboles de los estratos superiores dependen de la luz ("fotófilos").
Recursión mutua
Simbólicamente: Un bosque f consiste en una lista de árboles, mientras que un árbol t consiste en un par de valores v y un sub-árbol f. Esta definición es ordenada y fácil para trabajar abstractamente (como cuando se prueban teoremas sobre las propiedades de los árboles), tal como se expresa un árbol en términos simples: una lista de un tipo y un par de dos tipos. Además, une muchos algoritmos de árboles, que consisten en hacer una operación con el valor, y otra cosa con los sub-árboles.