合同 (數學) 在數學中合同英語Congruence符號做為一個一般性的概念指的是一組物件之間的等價關係例如 幾何中的合同或稱全等亦即等距同构一般來說就是相同的形狀與大小 算術中的合同亦即同餘同餘是抽象代數中的同餘關係的原型同餘所使用的符號是  抽象代數中的合同亦即同餘關係這是代數結構之間在結構上相容的等價關係 矩陣論中的合同亦即合同矩阵若存在非奇異矩陣 P displaystyle P 使得 P T A P  B displaystyle PTAPB 則稱 A  B displaystyle AB 是合同或相合的