Such an automaton is said to accept a DAG if there exists a spanning tree of the DAG that is accepted by the automaton (viewed as a tree automaton).
whenever a DAG is accepted, every other DAG obtained by adding edges is also accepted.