bn:03608962n
Noun Concept
Categories: Binary relations, Wellfoundedness, Order theory
EN
well-quasi-ordering  Well-partial-order  well-quasi-order  Well-quasi order  well partial order
EN
In mathematics, specifically order theory, a well-quasi-ordering or wqo on a set X {\displaystyle X} is a quasi-ordering of X {\displaystyle X} for which every 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. Wikipedia
Definitions
Sources
EN
In mathematics, specifically order theory, a well-quasi-ordering or wqo on a set X {\displaystyle X} is a quasi-ordering of X {\displaystyle X} for which every 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. Wikipedia
preorder in which every infinite sequence has an increasing or equivalent pair of consecutive values Wikidata