On Cantor identities
Józef Dudek, Adam W. Marczak · Algebra Universalis · 2012
In this paper, some special varieties which generalize Jónsson–Tarski algebras are considered. We prove that every nontrivial algebra from such a variety is term infinite and contains infinitely many distinct proper diagonal term operations of every arity.