Definition:Dedekind Domain/Definition 1

Definition
A Dedekind domain is an integral domain in which every nonzero proper ideal has a prime ideal factorization that is unique up to permutation of the factors.

Also see

 * Equivalence of Definitions of Dedekind Domain