For any algebra A, the set Con(A) of congruences (equivalence relations compatible with every fundamental operation) forms a complete algebraic lattice under inclusion — join θ ∨ φ is the congruence generated by θ ∪ φ, meet is…
For any algebra A, the set Con(A) of congruences (equivalence relations compatible with every fundamental operation) forms a complete algebraic lattice under inclusion — join θ ∨ φ is the congruence generated by θ ∪ φ, meet is…