we give a new definition of the so-called ordered field which is equivalent to the traditional one, and derive a series of the basic propositions with this new definition.
我们给出一个与传统的全序域定义等价的全序域定义,并由此推导出一系列关于全序域的基本命题。
in this article the generalization of the main theory of non-negative matrices to ordered field further to ordered division ring has been given.