A scheme for congruence semidistributivity
Ivan Chajda, Eszter K. Horváth · Discussiones Mathematicae - General Algebra and Applications · 2003
A diagrammatic statement is developed for the generalized semidistributive law in case of single algebras assuming that their congruences are permutable. Without permutable congruences, a diagrammatic statement is developed for the ∧-semidistributive law.