In teoria dei grafi un albero è un grafo non orientato, nel quale due vertici qualsiasi sono connessi da uno e un solo cammino; è dunque un grafo non orientato, connesso e privo di cicli.