\begin{definition}[Definition:GCD Domain]
A '''GCD domain''' is an integral domain in which any two non-zero elements have a greatest common divisor.
Category:Definitions/Algebraic Number Theory
Category:Definitions/Factorization
Category:Definitions/Greatest Common Divisor
Category:Definitions/GCD Domains
\end{definition}