同余可换代数

congruence-permutable algebra