同余分配代数

congruence-distributive algebra