Definition:GCD Domain

Definition
A GCD domain is an integral domain in which any two non-zero elements have a greatest common divisor.