Este documento contiene definiciones de varios conceptos relacionados con grafos y árboles. Define un grafo como un conjunto de vértices o nodos unidos por aristas o arcos que representan relaciones binarias. Un grafo dirigido es un grafo donde las aristas tienen una dirección definida. Un grafo conexo es aquel donde existe al menos una trayectoria entre cualquier par de vértices.