在数学的一个分支代数中，有序域是一个偏序关系通过加法和乘法运算不被改变的域。最常见的有序域的例子是实数。

一个满足下面两个条件的、拥有偏序关系的域被定义为有序域：对于任何K中的元素a、b和c以下两个条件获得满足：

• 则
• 和则

大于0的元素被称为是正的，小于0的元素被称为是负的。

In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by mathematicians including David Hilbert, Otto Hölder and Hans Hahn. This grew eventually into the Artin–Schreier theory of ordered fields and formally real fields.