 The theorem provides a logical explanation of the known isomorphisms mentioned above and similar ones for other classes of algebras. For example, the isomorphism between the congruences and the normal subgroups of a group can be explained by the existence of an algebraizable logic \(\bL\) of which the class of groups is its greatest equivalent algebraic semantics and the normal subgroups of a group are its \(\bL\)-filters.