Untuk suatu graf terhubung \(G\text{,}\) pohon merentang dari \(G\) adalah subgraf dari \(G\) yang merupakan pohon dan memuat semua simpul \(G\text{.}\)