喺某個特定模數下,個數集,包含澌啲會得到同樣餘數嘅整數嘅,即係同餘類。譬如 mod 3 {\displaystyle {\text{ mod }}3} 下啲整數就分得落三個同餘類,即模3餘0同餘類( 3 k + 0 {\displaystyle 3k+0} )、模3餘1同餘類( 3 k + 1 {\displaystyle 3k+1} )、模3餘2同餘類( 3 k + 2 {\displaystyle 3k+2} )。
畀定模數 n {\displaystyle n} 下,啲整數有兩個顯然特性:任一整數衹能屬於一個模 n {\displaystyle n} 同餘類;任兩整數屬於同一個同餘類,當且僅當佢哋同餘嗰陣。