Definition:Linear Congruence

Definition
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$.