I have also seen a presentation by Robin Thomas with a slide “DIGRAPH MINORS” containing the following statement: “QUESTION A For an infinite set of digraphs, is one a minor of another? HOPELESSLY FALSE”.

How does your notion of directed minor relation manages to work around these counterexamples which lead to the feeling that a “directed graph minor theorem” is hopeless?

]]>— What is the disjunctive product of graphs ? ]]>