在数学特别是抽象代数中，同余关系或简称同余是相容于某个代数运算的等价关系。
模算术.元型例子是模算术：对于一个正整数"n"，如果"a" − "b"整除于"n"（还有一个等价的条件是它们除以"n"得出同样的余数），则两个整数"a"和"b"被称为同余模"n"。例如，5和11同余模3：因为11 − 5得出6，它整除于3。或者等价的说，这两个数除以3得到相同的余数：如果formula_1并且formula_2，则formula_3并且formula_4。这把同余(mod "n")