完全剩餘系

一組數 , , ..., (mod ) 構成一個完全剩餘系，也稱為覆蓋系，如果它們滿足

對於 , 1, ..., 。 例如，如果對於 , ..., ，底數 和模數 的剩餘 在 中取遍值 1, 2, ..., ，則構成一個完全剩餘系。