Es sei G = ( V , E ) {\displaystyle {}G=(V,E)} ein Graph und b ∈ V {\displaystyle {}b\in V} ein Blatt des Graphen.
Dann ist G {\displaystyle {}G} genau dann ein Baum, wenn G ∖ b {\displaystyle {}G\setminus b} ebenfalls ein Baum ist.