The variety generated by equivalence algebras

Every equivalence relation can be made into a groupoid with the same underlying set if we define the multiplication as follows: xy = x if x,y are related; otherwise, xy = y. The groupoids, obtained in this way, are called equivalence algebras. We find a finite base for the equations of equivalence algebras. The base consists of equations in four variables, and we prove that there is no base consisting of equations in three variables only. We also prove that all subdirectly irreducibles in the variety generated by equivalence algebras are embeddable into the three-element equivalence algebra, corresponding to the equivalence with two blocks on three elements.