Los DAG aparecen en modelos donde no tiene sentido que un vértice tenga un camino directo a él mismo; por ejemplo, si un arco "u"→"v" indica que "v" es parte de "u", crear un ciclo "v"→"u" indicaría que "u" es subconjunto de sí mismo y de "v", lo cual es imposible.