Na
teoria dos grafos, uma
árvore é um
grafo conexo (existe caminho entre quaisquer dois de seus
vértices) e
acíclico (não possui ciclos). Caso o grafo seja acíclico mas não conexo, ele é dito uma
floresta. Uma floresta também é definida como uma união disjunta de árvores.