 A class of algebras \(\bK\) for which there are sets \(\iEq(p)\) and \(\Delta(p, q)\) with these two properties is said to be an equivalent algebraic semantics for \(\bL\). The set of formulas \(\Delta\) is called a set of equivalence formulas and the set of equations \(\iEq\) a set of defining equations.