text: Система (т.е. несортированный набор множеств) { a 1 ( m o d n 1 ) , … , a k ( m o d n k ) } {\displaystyle \{a_{1}(\mathrm {mod} \ {n_{1}}),\ \ldots ,\ a_{k}(\mathrm {mod} \ {n_{k}})\}} бесконечного числа классов вычетов называется m {\displaystyle m} -покрытием, если она покрывает любое число по меньшей мере m {\displaystyle m} раз, и точным m {\displaystyle m} -покрытием, если она покрывает каждое число в точности m {\displaystyle m} раз.