Definability of band structures on posets

Joel Kuperman, Alejandro Petrovich, Pedro Sánchez Terraf

The idempotent semigroups (bands) that give rise to partial orders by defining $a\le b⟺a\cdot b=a$ are the "right-regular" bands (RRB), which are axiomatized by $x\cdot y…