\begin{definition}[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$
Category:Definitions/Modulo Arithmetic
\end{definition}