Involutions defined by monadic terms (Q1121302)

The variety of monadic algebras is the class of all algebras \((A,+,\cdot,',\circ,0,1)\) of type (2,2,1,1,0,0) such that \((A,+,\cdot,',0,1)\) is a Boolean algebra and the following identities hold: 1) \(1^{\circ}=1\), 2) \(x^{\circ}\leq x\), 3) \(x^{\circ}\leq x^{\circ \circ}\), 4) \((xy)^{\circ}=x^{\circ}y^{\circ}\), 5) \(x^{'\circ '\circ}\leq x\). Let \(\gamma (x):=x^{\circ}+x'x^{'\circ '}\) and \(\beta (x):=x^{'\circ}+xx^{\circ '}\). Then 1)-4) together with 6) \(\gamma (\gamma (x))=x\) or \(6')\) \(\beta (\beta (x))=x\) are bases of identities for the variety of monadic algebras. The involutions \(\beta\) and \(\gamma\) give rise to an interpretation from the variety of bounded distributive lattices into the variety of monadic algebras [see \textit{R. A. Lewin}, ibid. 46, 329-342 (1987; Zbl 0647.08003)].