Property: GCD domain

Definition: A domain having a gcd for every pair of elements