Wikipedia
Well-quasi-ordering
In mathematics, specifically order theory, a well-quasi-ordering or wqo is a quasi-ordering such that any infinite sequence of elements x, x, x, … from X contains an increasing pair x ≤ x with i < j.