To generalise this to universal algebra, normal subgroups need to be replaced by congruence relations.
Aby uogólnić ten wynik na algebrę uniwersalną, podgrupy normalne muszą być zastąpione kongruencjami.