Drzewo to specjalny typ wykresu, który pozwala tylko na hierarchiczny zestaw krawędzi, podobny do drzewa. Matematycznie jest to właściwie arborescence. Drzewa mają węzeł główny i węzły potomne. W kategoriach formalnych jest opisany jako acyklicznie połączony graf.