精確覆蓋系統

同餘方程組 mod ，其中 ，如果每個整數 滿足 至少對於一個 值成立，則稱為完全剩餘系（或覆蓋系統）。在其中每個整數僅被一個同餘方程覆蓋的覆蓋系統稱為精確覆蓋系統。