Релацијадефинише се у скупу целих бројева на следећи начин:

тј. бројевииимају исте остатке при дељењу са.
Својства релације конгруенције у скупу:

Фермаова теорема. Ако јепрост број и, онда је.