A Characterization of Varieties with a Difference Term
Paolo Lipparini · Canadian Mathematical Bulletin · 1996
Abstract We characterize, by means of congruence identities, all varieties having a weak difference term, and all neutral varieties. Our characterization of varieties with a difference term is new even in the particular case of locally finite varieties.