5.1 矩阵的合同是一种等价关系