Es seien A und 
-Algebren und 
ein Homomorphismus. h bestimmt eine Kongruenzrelation 
in A. Die Faktoralgebra 
ist isomorph zum homomorphen Bild h(A).
Umgekehrt bestimmt jede Kongruenzrelation R eine homomorphe Abbildung 
mit 
Die folgende Abbildung soll den Homomorphiesatz veranschaulichen.
