 In this situation we say that the class of algebras \(\bK\) is an \(\iEq\)-algebraic semantics for \(\bL\), or that the pair \((\bK, \iEq)\) is an algebraic semantics for \(\bL\). If \(\iEq\) consists of a single equation \(\delta(p) \approx \varepsilon(p)\) we will simply say that \(\bK\) is a \(\delta(p) \approx \varepsilon(p)\)-algebraic semantics for \(\bL\). In fact, Blok and Pigozzi required that \(\iEq\) should be finite in their definition of algebraic semantics. But it is better to be more general. The definition clearly encompasses the situations encountered in the examples.