In other words, a and b are coprime iff their greatest common divisor is 1.
This is equivalent to the existence of integers p and q such that ap + bq = 1.
The term "relatively prime" is sometimes used instead of "coprime".