剩餘類

函式 模 的剩餘類是 剩餘 的所有可能值。 例如， (mod 6) 的剩餘類是 ，因為

是所有可能的剩餘。

完全剩餘系 是一個包含來自每個類的元素的整數集合，因此 將會是 (mod 6) 的一個 完全剩餘系。

與 互質的 個剩餘類在二元乘法運算 (mod ) 下構成一個 群，其中 是 尤拉函式 (Shanks 1993)，並且這個 群 被歸類為 模乘法群。