Open james-d-mitchell opened 1 year ago
In the same vein as RectangularBand etc.
RectangularBand
A free semilattice is a commutative ($xy = yx$ for all $x, y \in S$) semigroup of idempotents ($x^2 = x$ for all $x \in S$).
In the same vein as
RectangularBandetc.A free semilattice is a commutative ($xy = yx$ for all $x, y \in S$) semigroup of idempotents ($x^2 = x$ for all $x \in S$).