Sekirov Dictionary

well-quasi-ordering

noun1

A preorder where every infinite sequence has an infinite increasing subsequence.

forms

well-quasi-orderings

This dictionary works without the internet: on your phone · in Chrome