Kongruencija ili kongruencija po modulu je matematička operacija koja za rezultat daje ostatak pri deljenju dva prirodna broja.

Ona je oblika: a≡b mod(c) gde je а ostatak,b je deljenik, a c je delilac ili modulo.