Idempotent variety {x∘x = x} closed under P: product residual 0

Concrete witness of the product closure (the P in HSP) for the simplest non-trivial equational variety: the idempotent variety defined by the identity x∘x = x. Algebras: A and B with idempotent binary operations ∘_A and ∘_B. Product…