well-quasi-ordering

Noun

 * 1)  A preorder where every infinite sequence has an infinite increasing subsequence.