Ein Untergraph W ⊆ G {\displaystyle {}W\subseteq G} eines Graphen G = ( V , E ) {\displaystyle {}G=(V,E)} heißt aufspannender Wald von G {\displaystyle {}G} , wenn W {\displaystyle {}W} ein Wald ist, dessen Bäume mit den Zusammenhangskomponenten von V {\displaystyle {}V} übereinstimmen.
