dedekind cut