1 problem

Let $\mathbf{S}_n$ denote the class of all semilattices of order $n$. For a semilattice $S$, let … where $\mathbf{eq}$ ranges over all equations in one variable and…