congruence equation; congruence
Mathematical term for an equation expressing congruence modulo some number. Used in number theory and abstract algebra.
A congruence equation expresses a relationship between integer remainders.
This theorem can be proved using congruences.