Una arborescencia es un grafo orientado, fuertemente conexo, sin ciclos ni bucles, en que todos los vértices tendrán semigrado interior igual a la unidad, excepto uno, raíz de la arborescencia, cuyo semi- grado interior es 0.