- 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