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.