Informalmente, un árbol de expansión de "G" es una selección de aristas de "G" que forman un árbol que cubre todos los vértices.