Ein Wald ist eine Sammlung von Bäumen, wobei keiner der Bäume zueinander verbunden ist. Formal betrachtet handelt es sich um eine anteilige Vereinbarung von disjunkten Mengen.
Ein Wald $W$ ist eine Sammlung $\{T_1, T_2, \ldots, T_k\}$ von Bäumen, wobei jeder Baum $T_i$ ein gerichteter Graph ist, die keine Zyklen enthält.