Dedekind cut
假设无理数formula_1由分划formula_2所确定，无理数formula_3由分划formula_4所确定，则