Ein Untergraph ${\displaystyle {}B\subseteq G}$ eines Graphen ${\displaystyle {}G=(V,E)}$ heißt aufspannender Baum von ${\displaystyle {}G}$, wenn ${\displaystyle {}B}$ ein Baum mit der vollen Knotenmenge ${\displaystyle {}V}$ ist.