Dedekind_cut