任何由 
个整数组成的系统，其中 
是 欧拉函数，代表所有与 剩余类 互质 于 
的数，被称为既约剩余系（Nagell 1951, p. 71）。
既约剩余系
另请参阅
完全剩余系, 剩余类使用 Wolfram|Alpha 探索
参考文献
Nagell, T. "剩余类和剩余系。" §20 in 数论导论。 New York: Wiley, pp. 69-71, 1951.在 Wolfram|Alpha 中被引用
既约剩余系请这样引用
Weisstein, Eric W. "既约剩余系。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/ReducedResidueSystem.html