在数学中，合同（英文：congruence，符号：≅）做为一个一般性的概念，指的是一组物件之间的等价关系。例如：
合同符号的历史.莱布尼兹最先发明了相似与合同的符号，他使用波浪号（formula_4）来表示几何形的相似，另在波浪号下方加上一条横线（formula_5）来表示几何形的合同。十八世纪的数学家将相似符号（formula_4）与等号（formula_7）结合在一起（formula_8），更能表达出合同的意义，亦即相似与相等的重合概念。高斯于1801年出版了《算术研究》