User blog comment:Wythagoras/Extension to Friedmann's stuff/@comment-11227630-20150501095933/@comment-1605058-20150501102318

Check out this question of mine. In the body I define the ordering of labelled trees (following Robertson, Seymour & Friedman), and if you are interested then the accepted answer shows that this indeed is a well-quasi-order.