Un árbol (spanning tree) de un grafo es un subgrafo que contiene todos sus vértices o nodos.