El documento introduce los árboles como un tipo particular de grafo conexo sin ciclos. Explica que los árboles son útiles en informática para algoritmos de búsqueda y compresión de datos. También se usan para modelar problemas como redes de comunicación. Luego define formalmente los árboles y presenta conceptos clave como raíz, nodos internos, hojas, altura y subárboles.