• Given an integer , called a modulus, two integers and are said to be congruent modulo , if is a divisor of their difference; that is, if there is an integer such that
    • Congruence modulo is denoted
    • Congruence modulo is a congruence relation, meaning that it is an Equivalence relation that is compatible with the operations of addition, subtraction, multiplication, translation, scaling and exponentiation