既約剩餘系

任何由 個整陣列成的系統，其中 是 尤拉函式，代表所有與 剩餘類 互質 於 的數，被稱為既約剩餘系（Nagell 1951, p. 71）。