Relation identities in 3-distributive varieties

Paolo Lipparini

Let $\alpha$, $\beta$, $\gamma ,\dots$ $\Theta$, $\Psi ,\dots$ $R$, $S$, $T,\dots$ be variables for, respectively, congruences, tolerances and reflexive admissible relations. Let juxtaposition denote i…