利用有理数的分划的概念，可以定义无理数，建立无理数的比较规则，并在此基础上得到实数域的序的有关性质。假设无理数formula_1由分划formula_2所确定，无理数formula_3由分划formula_4所确定，则无理数小于（formula_15）的概念可由大于（formula_16）的概念定义，即formula_17当且仅当formula_14