\begin{definition}[Definition:Dedekind Domain/Definition 1]
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.
{{explain|unique up to permutation}}
\end{definition}