 The definition of algebraizable logic can be stated, equivalently, in terms of translations between the logic and an equational consequence relation \(\vDash_{\bK}\) associated with any equivalent algebraic semantics \(\bK\) for it —that turns to be the same relation no matter what equivalent algebraic semantics we choose.