This document defines modular arithmetic and some of its key properties. Modular arithmetic involves taking the remainder of dividing one integer by another. It defines congruence (a ≡ b mod n) as meaning n divides the difference of a and b. Some key properties are that addition, subtraction and multiplication of congruent numbers are also congruent modulo n, and that modular arithmetic forms a mathematical system with properties like commutativity, associativity and distributivity. Examples are given to illustrate these concepts and properties.