Una struttura di dati contenente zero o più nodi collegati insieme in una gerarchia. Se tutti i nodi sono presenti, un nodo è la radice; ogni nodo tranne la radice è il figlio di uno e un solo nodo, e ogni nodo ha zero o più nodi come bambini.