摘要
A quasi-Mal'cev condition for quasivarieties is established which in the case of locally finite quasivarieties forbids strongly abelian congruences and for varieties is equivalent to possessing a weak-difference term. We then look at two wellknown theorems concerning constraint satisfaction and the closure of finite digraphs under a Taylor operation.
- 出版日期2015-6