合同 (数学) Congruence
（重定向自Congruency）
在数学中，合同（英文：congruence，符号：≅）做为一个一般性的概念，指的是一组对象之间的等价关系。例如：
- 几何中的合同或称全等，亦即等距同构，一般来说，就是相同的形状与大小。
- 算术中的合同，亦即同余。同余是抽象代数中的同余关系的原型。同余所使用的符号是 ≡。
- 抽象代数中的合同，亦即同余关系，这是代数结构之间在结构上兼容的等价关系。
- 矩阵论中的合同，亦即合同矩阵。若存在非奇异矩阵
，使得 
，则称
是合同或相合的。