set of φ(n) integers such that each integer is relatively prime to n and no two are congruent modulo n