An algebra is

A class of algebras is *congruence uniform* if each of its members is congruence uniform.

Congruence uniformity holds for many 'classical' varieties such as groups, rings and vector spaces.

This property can be characterized by a Mal'cev condition: (to be inserted)