Jónsson Terms

- Pure Mathematics -
Algebra Dictionary
A sequence or family of term operations in a variety satisfying Jónsson identities that characterize congruence-distributive varieties; their existence imposes specific equations that force distributivity in the congruence lattice.