 Given a congruence \(\theta\) of \(\bA\) we can reduce the algebra by identifying the elements which are related by \(\theta\). The algebra obtained is the quotient algebra of \(\bA\) modulo \(\theta\). It is denoted by \(\bA/\theta\), its carrier is the set \(A/\theta\) of equivalence classes \([a]\) of the elements \(a\) of \(A\) modulo the equivalence relation \(\theta\), and the operations are defined as follows: