Def/Dedekind complete 1