4
因此，对于模m ，每个数在数组0，1，2，…，m -1和数组0，-1，-2，…，-（m -1）中都恰有一个剩余，我们将它们称为最小剩余 。显然，如果0不是剩余，那么最小剩余总是成对出现，一个为正 ，一个为负 。如果它们的绝对值不相等，那么必有一个的绝对值小于 ；否则它们的绝对值都等于 。因而，每个数总有一个剩余的绝对值小于模的 ，这个剩余叫作绝对最小剩余 。
例如，对于模5，-13的最小正剩余为2（它也是绝对最小剩余） ，而-3是它的最小负剩余。对于模7，5是它自身的最小正剩余，而-2是它的最小负剩余，也是绝对最小剩余 。
