 Greatest-common-divisor domain

A greatest-common-divisor domain is an integral domain in which every two nonzero elements have a greatest common divisor, defined up to multiplication by a unit.