 Given an algebra \(\bA\) of type \(L\), a congruence of \(\bA\) is an equivalence relation \(\theta\) on the carrier of \(\bA\) that satisfies for every \(n\)-ary connective \(* \in L\) the following compatibility property: for every \(a_1 , \ldots ,a_n, b_1 , \ldots ,b_n \in A\),