剩余类

函数 模 的剩余类是 剩余 的所有可能值。 例如， (mod 6) 的剩余类是 ，因为

是所有可能的剩余。

完全剩余系 是一个包含来自每个类的元素的整数集合，因此 将会是 (mod 6) 的一个 完全剩余系。

与 互质的 个剩余类在二元乘法运算 (mod ) 下构成一个 群，其中 是 欧拉函数 (Shanks 1993)，并且这个 群 被归类为 模乘法群。