可以直接推导出以下特性（formula_10是formula_3的元素）：
结构.所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性formula_24。每个有序域的子域也是有序域。任何含特征数0的域其最小子域与有理数同构，且这个子域的排序与formula_26一致。假如一个有序域中的任何元素都介于两个有理数之间的话，则该域具有阿基米德性质。比如实数是具有阿基米德性质的，而超实数则不具有。有序域formula_3的排序可用来定义formula_3的拓扑空间，这