Definition:Reduced Residue System/Least Positive

Definition
Let $n \in \Z: n \ge 1$.

Let $\phi \left({n}\right)$ be the Euler phi function of $n$.

The reduced residue system modulo $n$ is a set of integers:
 * $\left\{{a_1, a_2, \ldots, a_{\phi \left({n}\right)}}\right\}$

with the following properties:
 * $\forall i: 0 < a_i < n$
 * each of which is prime to $n$
 * no two of which are congruent modulo n.

Each of the residue classes in this system can be referred to as a relatively prime residue class or coprime residue class.

Also known as
A reduced residue system modulo $n$ is also known as a reduced set of residues modulo $n$.