En mathématiques, un système couvrant est un recouvrement fini de l'ensemble ℤ des entiers relatifs par des classes résiduelles, c'est-à-dire un ensemble fini { a 1, …, a m } {\displaystyle \{a_{1},\ \ldots,\ a_{m}\}} de classes a i = { a i + n i k | k ∈ Z } {\displaystyle a_{i}=\{a_{i}+n_{i}k~|~k\in \mathbb {Z} \}} dont la réunion est égale à ℤ. Cette notion a été introduite par Paul Erdős en 1950,,. Wikipedia