Este documento presenta conceptos y especificaciones relacionados con árboles y recorridos en árboles. Introduce definiciones clave de árboles binarios y n-arios como raíz, hijos, camino, altura, grado. Explica recorridos de árboles como pre-orden, in-orden y post-orden. También cubre el recorrido en anchura y provee especificaciones algebraicas formales para representar árboles y recorridos.