/сходство/

Congruence two integers , are congruent mod (positive integer) if is divisible by .

Elementary properties of congruences

If and , then and .

If , then for any

Congruence as an Equivalence Relation

R (congruences):

  • reflexive:
  • symmetric: if , then
  • transitive: if and then