Definition:Simultaneous Congruences/Linear

Definition
A system of simultaneous linear congruences is a set of linear congruences:
 * $\forall i \in \closedint 1 r : a_i x \equiv b_i \pmod {n_1}$

That is: