← 返回单词列表
well-quasi-ordering
数学中的“良拟序”：一种预序，保证任意无限序列都能抽出一个无限递增子序列。
💡 记忆钩子
把无限序列想成一列不断出现的对象；即使原序列杂乱无章，也总能从中挑出一条无限长、次序越来越不下降的队伍，这就是“良拟序”的核心。
📝 学习建议
- 不要把它理解成通常意义上的严格全序；它只要求预序关系，并通过抽取无限递增子序列来表达良好性。
📖 中文释义
noun
-
core 保证无限递增子序列的预序📖 在这种预序中，任意无限序列都可以抽出一个无限子序列，使后面的元素始终不低于前面的元素。重点不是原序列本身已经排好，而是无论怎样排列，都能找到这样一条无限递增的子序列。💡 常用模式是“a well-quasi-ordering on a set”或“the set is well-quasi-ordered under a relation”。这里的“递增”通常按预序关系理解，可以包含相等或等价，不一定是严格变大。它是专业数学术语，不能按日常英语中“排序得很好”来理解。The divisibility relation on natural numbers is a well-quasi-ordering under the stated conditions.在给定条件下，自然数上的整除关系是一种良拟序。
well-quasi-orderings
plural
🔄 变式
well-quasi-orderings
plural
🏷 单词标签 & 词根