Congruence regular

No diff available--this is the first major revision. (minor diff)

An algebra is congruence regular if each congruence relation of the algebra is determined by any one of its congruence classes, i.e. ∀a,b [a]_θ = [b]_ψ ⇒ θ = ψ.

A class of algebras is congruence regular if each of its members is congruence regular.

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

This property can be characterized by a Mal'cev condition ...