The product of the prime factors shared by two integers, each taken at its lowest power. With the LCM it satisfies GCF(a,b) · LCM(a,b) = a · b.