Definition:Residue Class

Definition
Let $m \in \Z$.

Let $\mathcal R_m$ be the congruence relation modulo $m$ on the set of all $a, b \in \Z$:


 * $\mathcal R_m = \left\{ {\left({a, b}\right) \in \Z \times \Z: \exists k \in \Z: a = b + k m}\right\}$

We have that congruence modulo $m$ is an equivalence relation.

So for any $m \in \Z$, we denote the equivalence class of any $a \in \Z$ by $\left[\!\left[{a}\right]\!\right]_m$, such that:

The equivalence class $\left[\!\left[{a}\right]\!\right]_m$ is called the residue class of $a$ (modulo $m$).

It follows directly from the definition of equivalence class that:
 * $\left[\!\left[{x}\right]\!\right]_m = \left[\!\left[{y}\right]\!\right]_m \iff x \equiv y \pmod m$

Also known as
Residue classes are sometimes known as congruence classes (modulo $m$).