Álgebra Subdirectamente Irreducible

Un álgebra es subdirectamente irreducible (SI) si no puede representarse de forma no trivial como un producto subdirecto de otras álgebras; equivalentemente, posee una congruencia no trivial mínima (el monolito), es decir, entre las congruencias distintas de la diagonal existe una única mínima.

Un álgebra que no puede representarse como un producto subdirecto no trivial de otras álgebras; equivalentemente (en variedades) tiene una única congruencia no trivial mínima (el monolito).