Definition:Modulo Addition

Also see

 * Equivalence of Definitions of Integer Modulo Addition
 * Modulo Addition is Well-Defined


 * Definition:Modulo Multiplication


 * Definition:Real Modulo Addition