rmula_15互质的代表数所构成的集合，称为模formula_15的简约余数系统（），其元素个数记为formula_39，亦即欧拉函数。例如，模formula_40的简约余数系统为formula_41或formula_42。如果模formula_15是质数，那么它的最小简约余数系统是formula_44，只比最小余数系统少一个formula_45。
性质.
整除性.formula_46 （即是说 a 和 b 之差是 m 的倍数）换句话说，formula_47