All Questions

$\newcommand\Eq{\mathrm{Eq}}$I asked this question on math stack exchange, here, but there were no comments or answers. So, I am asking it here on mathoverflow. Consider the signature of a single ...

Universal algebra - roughly - is the study, construed broadly, of classes of algebraic structures (in a given language) defined by equations. Of course, it is really much more than that, but that's ...

To make my question more precise and compact (and probably more intuitive), let me define the following: A subset $S$ of a lattice is mutually disjoint if for each $x \in S$, $\bigvee(S - \lbrace x \...