ordered field
名词 n.
英文释义
名词 n.
- A field which has an order relation satisfying these properties: trichotomy, transitivity, preservation of an inequality when the same element is added to both sides, and preservation of an inequality when the same strictly positive element is multiplied to both sides.
词形变化
0 次浏览
数据来源: Wiktionary