A rectangular band is a band B = (B,·) such that · is rectangular: x·y·x = x.
A rectangular band is a band B = (B,·) such that x·y·z = x·z.
Let B and C be rectangular bands. A morphism from B to C is a function h : B→C that is a homomorphism: h(xy) = h(x)h(y).
|Equational theory||decidable in polynomial time|
|Congruence extension property|
|Definable principal congruences|
|Equationally definable principal congruences|
|Strong amalgamation property|
|Epimorphisms are surjective|