Definition
For two integers and positive integer , we say ( is congruent to mod ) if for some integer . This is equivalent to and have the same remainder when divided by .
For two integers a,b and positive integer n, we say a≡bmodn (a is congruent to b mod n) if a−b=mn for some integer m. This is equivalent to a and b have the same remainder when divided by n.