A linear congruence is an equation of the form ax ≡ b (mod m), where a, b, and m are integers, and a and m are coprime.