相抵是矩阵的一种等价关系, 具有: 自反性A=AVA 对称性若A=B,则B=A 传递性若A≌B,B≌C, 则AC