 Thus, an algebraizable logic \(\bL\) is faithfully interpreted in the equational logic of its equivalent algebraic semantics (condition  (1))  by means of the translation of formulas into sets of equations given by a set of defining equations, and the equational logic of its equivalent algebraic semantics is faithfully interpreted in the logic \(\bL\) (condition  (9))  by means of the translation of equations into sets of formulas given by an equivalence set of formulas. Moreover, both translations are inverses of each other (conditions  (2)  and  (3))  modulo logical equivalence. In this way we see that the link between \(\bL\) and its greatest equivalent algebraic semantics is very strong and that the properties of \(\bL\) should translate into properties of the associated equational consequence relation. The properties that this relation actually has of course depend on the properties of the class of algebras \(\bAlg\bL\).