 Given an algebraic semantics \((\bK, \iEq)\) for a logic \(\bL\), a way to stress the difference between it being merely an algebraic semantics and being an algebraic semantics that makes \(\bL\) algebraizable is that the translation of formulas into equations given by the set of equations \(\iEq\) is invertible in the sense that there is a translation, say \(\Delta\), of equations into formulas given by a set of formulas in two variables that satisfies condition  (9)  above, and such that \(\iEq\) and \(\Delta\) provide mutually inverses translations (i.e., conditions  (2)  and  (3)  hold).