a_4以下两个条件获得满足：大于0的元素被称为是正的，小于0的元素被称为是负的。
特性.由以上定义可以直接推导出以下特性（formula_10是formula_3的元素）：
结构.所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性formula_24。每个有序域的子域也是有序域。任何含特征数0的域其最小子域与有理数同构，且这个子域的排序与formula_26一致。假如一个有序域中的任何元素都介于两个有理数之间的话，则该域具有阿基米德性