Zredukowany układ reszt modulo

Zredukowany układ reszt modulo $n$ – jest to układ reprezentantów klas abstrakcji relacji przystawania reszt modulo $n,$ będących względnie pierwszych z $n,$ tzn. zbiór: ${\mathrm{\Phi }}_n:=\{a\in {\mathbb{Z}}_n:\text{NWD}(a,n)=1\},$ gdzie ${\mathbb{Z}}_n$ jest zbiorem reszt modulo $n$.

Łatwo można zauważyć, że $|{\mathrm{\Phi }}_n|=\phi (n),$ gdzie $\phi$ jest φ-funkcją Eulera.