Une structure de données contenant zéro ou plusieurs nœuds qui sont reliés entre eux dans une hiérarchie. Si tous les nœuds sont présents, un nœud est la racine ; chaque nœud sauf la racine est l'enfant d'un seul et même autre nœud, et chaque nœud a zéro ou plusieurs nœuds enfants.