完全剩餘系是指在模n的每個剩餘類中各取一個數，從而得到的由n個數組成的集合。 這些數在除以給定的正整數n時，餘數分別為0到n-1，這樣的集合在數論中非常有用，常被用於存在性證明和其它高級數學概念的闡釋中。