5 views

1 Answers

In mathematics, specifically order theory, a well-quasi-ordering or wqo is a quasi-ordering such that any infinite sequence of elements x 0 , x 1 , x 2 , … {\displaystyle x_{0},x_{1},x_{2},\ldots } from X {\displaystyle X} contains an increasing pair x i ≤ x j {\displaystyle x_{i}\leq x_{j}} with i < j {\displaystyle i

5 views