well-quasi-ordering

English

Noun

well-quasi-ordering (plural well-quasi-orderings)

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