在数学的一个分支代数中，有序域是一个全序关系通过加法和乘法运算不被改变的域。有序域最常见的例子是实数。
定义.一个满足下面两个条件的、拥有偏序关系formula_1的域formula_2被定义为有序域：对于任何formula_3中的元素formula_4以下两个条件获得满足：大于0的元素被称为是正的，小于0的元素被称为是负的。
特性.由以上定义可以直接推导出以下特性（formula_10是formula_3的元素）：
结构.所