Greatest common divisor ($\gcd$)

The greatest common divisor of integers $a$ and $b$ is the largest positive integer dividing both.