Zur Einleitung: Stand heute steht da wieder, dass azyklische Graphen Wälder sind, und das ist falsch. Ein Wald ist ein Graph, dessen Zusammenhangskomponenten Bäume sind. Das ist in ungerichteten Graphen äquivalent zur Kreisfreiheit, in gerichteten Graphen eben nicht. Der Übergang zum Wurzelbaum ist relativ erratisch, solange man nicht sauber zwischen gerichteten und ungerichteten Graphen unterscheidet.