Dedekind cut
定义。其中formula_8为区间formula_6中的所有分划.