Un bosque es una unión disjunta de árboles.