O structură de date care conţine zero sau mai multe noduri care sunt legate între ele într-o ierarhie. În cazul în care nodurile sunt prezente, este un nod rădăcină, fiecare nod, cu excepţia rădăcină este copilul de un an şi doar un singur alt nod, şi fiecare nod are zero sau mai multe noduri de copii.