More generally this remains true when the alphabet is not necessarily finite .
Is itself well - quasi-ordered , and the subsequence relation allows the replacement of symbols by earlier symbols in the well - quasi-ordering of labels .
More generally this remains true when the alphabet is not necessarily finite , but is itself well - quasi-ordered , and the subsequence relation allows the replacement of symbols by earlier symbols in the well - quasi-ordering of labels .