# Well-quasi-ordering

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