Restklasse

In de rekenkunde verstaat men onder de restklasse modulo een positief geheel getal ${\displaystyle n}$, de verzameling gehele getallen die bij deling door ${\displaystyle n}$ dezelfde rest opleveren. Deze rest wordt niet-negatief gekozen. De getallen in een bepaalde restklasse zijn dus per definitie congruent modulo ${\displaystyle n}$.

In veel gevallen is ${\displaystyle n}$ een vast gekozen getal, en noteert men de restklasse waartoe het gehele getal ${\displaystyle z}$ behoort met een streepje boven de ${\displaystyle z}$:

${\displaystyle {\overline {z}}=\{\ldots ,z-2n,z-n,z,z+n,z+2n,\ldots \}}$

Er zijn precies ${\displaystyle n}$ verschillende restklassen modulo ${\displaystyle n}$.

In het algemeen behoren twee gehele getallen tot dezelfde restklasse modulo ${\displaystyle n}$ als en slechts als hun verschil een veelvoud is van ${\displaystyle n}$ (als ze congruent zijn modulo ${\displaystyle n}$).