Definition:Linear Congruence

A linear congruence is a polynomial congruence of the form:
 * $$a_0 + a_1 x \equiv 0 \pmod n$$.

That is, one where the degree of the integral polynomial is $$1$$.

Such a congruence is frequently encountered in the equivalent form:
 * $$a x \equiv b \pmod n$$.