\begin{definition}[Definition:Factorization Domain]
A '''factorization domain''' is an integral domain in which every element can be written as a finite product of irreducible elements.
\end{definition}