Ein
Baum ist in der
Graphentheorie ein spezieller Typ von
Graph, der zusammenhängend ist und keine geschlossenen
Pfade enthält, d.h. damit lässt sich eine
Monohierarchie modellieren. Je nachdem, ob die
Kanten des Baums eine ausgezeichnete (und einheitliche) Richtung besitzen, lassen sich graphentheoretische Bäume unterteilen in
ungerichtete Bäume und
gewurzelte Bäume, und für gewurzelte Bäume in
Out-Trees, bei denen die Kanten von der Wurzel ausgehen, und
In-Trees, bei denen Kanten in Richtung Wurzel zeigen.