Equivalential algebras with conjunction on the regular elements
We introduce the definition of the three-element equivalential algebra R with conjunction on the regular elements. We study the variety generated by R and prove the Representation Theorem. Then, we construct the finitely generated free algebras and compute the free spectra in this variety.