The algebraic notion of congruence can also be generalized to partial equivalences, yielding the notion of subcongruence, i.e. a homomorphic relation that is symmetric and transitive, but not necessarily reflexive.
Der algebraische Begriff von Kongruenz kann ebenfalls auf partielle Äquivalenzrelationen verallgemeinert werden, was zum Begriff Teilkongruenz führt, also einer homomorphen Relation, die symmetrisch und transitiv, aber nicht notwendigerweise reflexiv ist.