Definition:Modulus of Congruence