 Let \(\bA\) and \(\bB\) be \(L\)-algebras. A homomorphism \(h\) from \(\bA\) to \(\bB\) is a map \(h\) from \(A\) to \(B\) such that for every 0-ary symbol \(\dagger \in L\) and every \(n\)-ary connective \(* \in L\)