同餘類

喺某個特定模數下，個數集，包含澌啲會得到同樣餘數嘅整數嘅，即係同餘類。譬如${\text{ mod }}3$下啲整數就分得落三個同餘類，即模3餘0同餘類（$3k+0$）、模3餘1同餘類（$3k+1$）、模3餘2同餘類（$3k+2$）。

畀定模數$n$下，啲整數有兩個顯然特性：任一整數衹能屬於一個模$n$同餘類；任兩整數屬於同一個同餘類，當且僅當佢哋同餘嗰陣。