Ein Graph wird als Baum bezeichnet, wenn jeder Knoten mit jedem anderen Knoten durch genau einen Pfad verbunden ist.

Im Falle gerichteter Bäume werden Knoten mit speziellen Eigenschaften besonders bezeichnet: Gibt es einen besonderen Knoten, in den keine Kante führt, so wird dieser Wurzel genannt. Von der Wurzel aus sind alle anderen Knoten durch einen Pfad erreichbar. Bei einem Baum nennt man Knoten, von denen keine Kanten wegführen, Blätter.