表示同餘關係的數學表達式，與等式相似。將等式中的等號“=”換成同餘符號，必要時在式尾綴以(mod m) 註明模m（即除數），就是同餘式。
含有未知數的同餘式叫做同餘方程，通常要求整數解。
同餘式的定義
如果兩個正整數 a和 b之差能被 n整除，那麼我們就說 a和 b對模n同餘，記作：
同餘式的運算
同餘式運算類似於等式的運算，在等號兩邊可進行加減乘除的算術運算。如 ，則有：
但在應用
除法運算時應特別注意，僅在除數與模互質時，才能去除同餘式的兩邊，如：
，必須c 與 n要互質，就c 與 n須沒有
公因數。