Definition:Simultaneous Congruences

Definition
A system of simultaneous congruences is a set of polynomial congruences:
 * $\forall i \in \closedint 1 r: \map {P_i} x \equiv 0 \pmod {n_i}$

That is: