In universal algebra, two congruences
A Mal'cev term is a term M for which
A congruence-permutable variety is one whose signature contains a Mal'cev term.
Most classical varieties in abstract algebra, such as groups, rings, and Lie algebras, are congruence-permutable. Any variety that contains a group operation is congruence-permutable, and the Mal'cev term is