良拟序一種預序,其中無窮序列必有先後兩項遞增 / 维基百科,自由的 encyclopedia 数学分支序理论中,良拟序或良预序(英语:well-quasi-ordering,简写作wqo[1]或WQO[2])是特殊的拟序[注 1],其元素的任意无穷序列 x 0 , x 1 , x 2 , … {\displaystyle x_{0},x_{1},x_{2},\ldots } 中,必有先后两项递增,即存在 i < j {\displaystyle i<j} 使 x i ≤ x j {\displaystyle x_{i}\leq x_{j}} 。 “良预序”重定向至此。关于等价类组成良序的序结构,请见“预良序(英语:prewellordering)”。
数学分支序理论中,良拟序或良预序(英语:well-quasi-ordering,简写作wqo[1]或WQO[2])是特殊的拟序[注 1],其元素的任意无穷序列 x 0 , x 1 , x 2 , … {\displaystyle x_{0},x_{1},x_{2},\ldots } 中,必有先后两项递增,即存在 i < j {\displaystyle i<j} 使 x i ≤ x j {\displaystyle x_{i}\leq x_{j}} 。 “良预序”重定向至此。关于等价类组成良序的序结构,请见“预良序(英语:prewellordering)”。