线性函数在不同基下的度量矩阵是合同的。
性质.合同关系是一个等价关系，也就是说满足：合同类矩阵具有相等的秩和正惯性指数，秩和正惯性指数是合同关系下的完全不变量，即如果两个矩阵合同等价于他们的秩和正惯性指数相等。由于每个二次型都可以经过线性替换变成若干个平方和的形式，对于矩阵来说，就是每个对称矩阵都合同于一个对角矩阵，后者称为一个标准形。根据谱定理，替换的过渡矩阵可以是一个正交矩阵。如果不考虑替换矩阵的正交性，那么在复数域中，每个对称矩阵都合同于一个对角线上元素只由0和1