Term inequalities in finite algebras

David Hobby

Given an algebra $\mathbf{A}$, and terms $s(x_1,x_2,\dots x_k)$ and $t(x_1,x_2,\dots x_k)$ of the language of $\mathbf{A}$, we say that $s$ and $t$ are {\em separated}…