Absorption and directed Jónsson terms

Alexandr Kazda, Marcin Kozik, Ralph McKenzie +1

We prove that every congruence distributive variety has directed Jónsson terms, and every congruence modular variety has directed Gumm terms. The directed terms we construct witnes…