整除于3。或者等价的说，这两个数除以3得到相同的余数：如果formula_1并且formula_2，则formula_3并且formula_4。这把同余(mod "n")变成了在所有整数的环上的一个等价。
线性代数.两个实数矩阵"A"和"B"被称为合同的，如果存在可逆实数矩阵"P"使得对称矩阵有实数特征值。对称矩阵的“惯性”是由正特征值的数目、零特征值的数目和负特征值的数目组成的三元组。Sylvester惯性定律声称两个对称实数矩阵是合同的，当且仅当它们有相同的惯性。所以，