Matrices , over a ring for which there exists an invertible matrix such that , where denotes the transposed matrix of . Congruence of matrices is an equivalence relation. Congruence arises when , represent a bilinear form or quadratic form with respect to different bases, the change of basis matrix being .