Een gegevensstructuur met nul of meer knooppunten die met elkaar zijn verbonden in een hiërarchie. Als geen van de knooppunten aanwezig zijn, is één knooppunt de wortel; elk knooppunt met uitzondering van de wortel is het kind van een en slechts een ander knooppunt, en elk knooppunt heeft nul of meer knooppunten als kinderen.