En teoría de grafos, un árbol es un grafo en el que cualesquier dos vértices están conectados por "exactamente un" camino.