Search

By a homomorphic relation over an algebra A we mean a subalgebra of A × A. A variety [1[ of algebras will be called Mal′cevian [2[ if the identities of include two identities of the form f (x, y, y)=x, f(x, x, y)=y. In [3[ many examples and interesting properties of Mal′cevian varieties have been quoted or proved. In [4[ it is noted that every reflexive homomorphic relation over an algebra of a Mal′cevian variety is a congruence. The purpose of this short note is to observe that the property of Mal′cevian varieties noted in [1] is in fact characteristic of such varieties.