This document introduces modular arithmetic concepts. It aims to help readers understand modular arithmetic with examples, congruence, and how to use modulo concepts and properties to solve modular arithmetic problems and compose proofs. Key points covered include defining modular arithmetic as an abstraction of counting methods, using the division algorithm to get quotients and remainders, and how integers are mapped to sets when taking them modulo a number using common modulo operations and properties. Examples are provided to demonstrate calculating expressions modulo a number.