well-quasi-ordering
名词 n.
英文释义
名词 n.
- A preorder where every infinite sequence has an infinite increasing subsequence.
词形变化
0 次浏览
数据来源: Wiktionary