Talk:Better-quasi-ordering
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
The definition of the relation is slightly incorrect. When restricted to the sequences of length 1, it gives the total relation. One would like it to be the natural strict order on natural number. One must take iff there is such that is a strict initial segment of and .