Definition:Dedekind Domain/Definition 2

Definition
A Dedekind domain is an integral domain of which every nonzero fractional ideal is invertible.

Also see

 * Equivalence of Definitions of Dedekind Domain