User blog comment:Alemagno12/A well-ordering of graphs/@comment-1605058-20171015081410/@comment-1605058-20171015170900

You never specify this in the definition, but I guess that makes things fine.

A different question: where in this ordering would o-[o-[o,o],o,o] go? I feel like it should go below o-[o-[o,o,o],o,o] = ωω 2, but it doesn't look like any of the earlier graphs.