Well partial order

Redirect to:

• Well-quasi-ordering#Wqo.27s versus well partial orders