Retículo de Congruencias

El conjunto de todas las relaciones de congruencia en un álgebra, ordenado por inclusión y equipado con las operaciones de retículo meet (intersección) y join (la menor congruencia que contiene la unión, es decir, la congruencia generada por la unión); esta estructura se denomina retículo de congruencias y refleja la estructura de cocientes y equivalencias compatibles con las operaciones algebraic

El conjunto parcialmente ordenado de todas las relaciones de congruencia sobre un álgebra dada, ordenado por inclusión; este poset es un retículo bajo intersección y unión generada (join), codificando cómo se relacionan y combinan los cocientes.