Talk:Well-structured transition system

In addition to saying well-quasi-ordering, can't this be explained as a relation where every element cannot be decreasing, or something along those lines? - Uplink3r (talk) 23:47, 15 June 2015 (UTC)

AFAICS the meaning of the term is already stated? In addition to the (admittedly extremely brief) explanation, there is a handful of useful alternative characterisations of WQO. But I would rather add them to the Well-quasi-ordering article. &#91;ɯ:&#93; (talk) 12:58, 26 June 2015 (UTC)