The study of arithmetic that involves congruences and is useful in understanding the properties of numbers in number theory.