Congruence relation & quotient

Congruence on algebra A = equivalence-relation compatible with operations. Quotient A/θ is again algebra of same signature. Generalises group quotients, ring quotients. Forms congruence-lattice Con(A) — itself an algebraic-lattice…