Definition:Dedekind Completion