域与有理数同构，且这个子域的排序与formula_26一致。假如一个有序域中的任何元素都介于两个有理数之间的话，则该域具有阿基米德性质。比如实数是具有阿基米德性质的，而超实数则不具有。有序域formula_3的排序可用来定义formula_3的拓扑空间，这个拓扑空间可由formula_29和formula_30作为准基来生成，称之为序拓扑。加法和乘法运算相对于这个拓扑空间是连续的。