表述

如果，就说模同余，记为。
特别的，当的时候，余数与同余。，任何整数都必然可以整除其中一个。

同余式的性质

如果有，则有：

这两条性质证明非常容易，此处略去不表。

当时，显然有：

但是：

只有在，也就是互质时成立。因为：

又互质，则有，即。