Se entiende por árbol al grafo G=<V,A> que cumple con las propiedades de ser simple, conexo y sin ciclos.
Otra definición equivalente sería:
Sea un grafo G=<V,A> las siguientes propiedades son equivalentes entre sí:
G es un árbol.
G es simple, conexo y sin ciclos.
G es conexo y |V|=n entonces |A|=n-1.
Wähle eins der folgenden: