数学上，同余（英语：congruence modulo，符号：≡）是数论中的一种等价关系。当两个整数除以同一个正整数，若得相同余数，则二整数同余。同余是抽象代数中的同余关系的原型。最先引用同余的概念与“≡”符号者为德国数学家高斯。

两个整数，，若它们除以正整数所得的余数相等，则称，对于模同余

记作

读作同余于模，或读作与关于模同余。

比如。

同余于的符号是同余相等符号≡。统一码值为 U+2261。但因为方便理由，人们有时会把它(误)写为普通等号 (=)。

如同任何同余关系，对于模同余是一种等价关系，整数的等价类是一个集合，标记为。由对于模同余的所有整数组成的这个集合称为同余类（congruence class或residue class）；假若从上下文知道模，则也可标记为。

同余类中的每个元素都可以拿来代表该同余类，称为该同余类的代表数（英语：representative）。

余数系统（英语：residue system）亦即模n同余类的代表数的集合，通常使用的代表数是最小非负整数，因为它是除法中的应当余数。要注意的是，对于同一个模数n，不同的同余类不等价，亦即，属于不同同余类的整数不同余于模数n，或者说，模n余数系统中的任二元素不同余于模n；而且，整数域中的每个整数只属于模数n的一个同余类，因为模n将整数域划分为互斥区块，每个区块是一个同余类。

一个完整余数系统（英语：complete residue system）指的是模n的全部同余类的代表数的集合；因为余数系统中的任二元素不同余于模n，所以它也称为非同余余数的完整系统（英语：complete system of incongruent residues）。例如，模3有三个同余类，其完整余数系统可以是。如果该集合是由每个同余类的最小非负整数所组成，亦即，则称该集合为模n的最小余数系统（英语：least residue system）。

模n完整余数系统中，与模n互质的代表数所构成的集合，称为模n的简约余数系统（英语：reduced residue system），其元素个数记为，亦即欧拉函数。例如，模的简约余数系统为或。如果模n是质数，那么它的最小简约余数系统是，只比最小余数系统少一个0。

（即是说 a 和 b 之差是 m 的倍数）

换句话说，

同余可以用来检验一个数是否可以整除另外一个数，见整除规则。

这性质更可进一步引申成为这样：

若且互质，则

模数算术在数论、群论、环论、纽结理论、抽象代数、计算机代数、密码学、计算机科学、化学、视觉和音乐等学科中皆有应用。

它是数论的立基点之一，与其各个面向都相关。

模数算术经常被用于计算标识符中所使用的校验和，比如国际银行账户号码（IBANs）就用到了模97的算术，来捕获用户在输入银行账户号码时的错误。

于密码学中，模数算术是RSA与迪菲－赫尔曼密钥交换等公钥系统的基础，它同时也提供有限域，应用于椭圆加密，且用于许多对称密钥加密中，包括高级加密标准、国际资料加密算法等。

于计算机科学, 同余被应用于位元运算或其他与固定宽度之循环数据结构相关的操作。

于化学中,CAS号（一个对各种化合物皆异之的识别码）的最后一码为校验码，将CAS号首二部分最后的数字乘上一，下一码乘上二，下一码乘上三以此类推，将所有积加起来再取模10。

在音乐领域，模12用于十二平均律系统。

星期的计算中取模7算术极重要。

更广泛而言，同余在法律、经济（见赛局理论）或其他社会科学领域中也有应用。