Towards commutator theory for relations. III
Paolo Lipparini · arXiv (Cornell University) · 2005
We derive consequences from the existence of a term which satisfies Mal'cev identities (characterizing permutability) modulo two functions F and G from admissible relations to admissible relations. We also provide characterizations of varieties having a Mal'cev term modulo F and G.