Wikipedia
Better-quasi-ordering
In order theory a better-quasi-ordering or bqo is a quasi-ordering that does not admit a certain type of bad array. Every bqo is well-quasi-ordered.