A Binary Operation that returns the remainder of ba Definition z=ax+b: a is the quotient b is zmodx or the remainder Properties of Modular Arithmetic Addition ((amodn)+(bmodn))modn=(a+b)modn Multiplication ((amodn)×(bmodn))modn=(a×b)modn