Category:Definitions/Dedekind Domains