Definition

The set of residue classes $\pmod{p}$ is defined as $$\mathbb{Z}/p\mathbb{Z}=\{ [1],[2],\dots,[p-1] \}$$