数学上，同余（，符号：≡）是数论中的一种等价关系。当两个整数除以同一个正整数，若得相同zh-hans:余数; zh-hant:余数;，则二整数同余。同余是抽象代数中的同余关系的原型。最先引用同余的概念与「≡」符号者为德国数学家高斯。
同余符号.两个整数formula_1，formula_2，若它们除以正整数formula_3所得的余数相等，则称formula_1，formula_2对于模formula_3同余记作formula_7读作formula_1同余于form