A quasi-Mal'cev condition with unexpected application. (Q2351514)

A quasi-Mal'cev condition for quasivarieties is established. In the case of locally finite quasivarieties it forbids strongly abelian congruences and for varieties it is equivalent to possessing a weak difference term. Such a variety is called strictly active. The equivalent conditions are: \(V\) is active, \(V\) has a Taylor term. The most general class of locally finite varieties having this property does not interpret in the variety of sets. Applications for relational structures (irreflexive digraph and reflexive tournament) are included.