类不等价，亦即，属于不同同余类的整数不同余于模数formula_15，或者说，模formula_15余数系统中的任二元素不同余于模formula_15；而且，整数域中的每个整数只属于模数formula_15的一个同余类，因为模formula_15将整数域划分为互斥区块，每个区块是一个同余类。一个完整余数系统（）指的是模formula_15的全部同余类的代表数的集合；因为余数系统中的任二元素不同余于模formula_15，所以它也称为非同余余数的完整系统（）。例如，模formula_31有三个同余类for