Dedekind ring

Noun

 * 1) A Dedekind domain.