有理数域的序源自“大于”（formula_1）的概念，有关性质如下。