Ungerichteter Graph/Aufspannender Wald/Definition

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