Def/Dedekind cuts