##### 完全剩余系 - 完全剩余系 - **完全剩余系**是模 $m$ 的全部[[同余|同余类]]的代表数的集合, 也就是包含了模 $m$ 下所有可能的余数. 形式上, 完全剩余系是包含了从 $0$ 到 $m-1$ 的所有整数 - $\{0, 1, 2, \dots, n-1\}$