prewellordering
名词 n.
英文释义
名词 n.
- A binary relation that is transitive, total, and well-founded.
词形变化
词源
From pre- + wellordering.
0 次浏览
数据来源: Wiktionary