对于复数矩阵，必须区分“合同”（"A"和"B"是合同，如果有可逆矩阵"P"使得"P""AP" = "B"）和“*合同”（"A"和"B"是*合同，如果有可逆矩阵"P"使得"P"*"AP" = "B"）。
泛代数.想法是推广到泛代数中：代数"A"上的同余关系是直积"A"×"A"的子集，它既是在"A"上的等价关系又是"A"×"A"的子代数。 同态的核总是同余。实际上，所有同余引起自核。对于给定在"A"上的同余~，等价类的集合"A"/~可以自然的方式给出自代数的结构商代数。映射所有