Ungerichteter Graph/Aufspannender Wald/Definition

Aufspannender Wald

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