well-quasi-ordering

preorder in which every infinite sequence has an increasing or equivalent pair of consecutive values