Dedekind cuts