Differences

This shows you the differences between two versions of the page.

congruence_regular [2010/08/20 20:14]
jipsen created
congruence_regular [2010/08/20 20:14] (current)
jipsen
Line 2: Line 2:
An algebra is \emph{congruence regular} if each congruence relation of the algebra is An algebra is \emph{congruence regular} if each congruence relation of the algebra is
-determined by any one of its congruence classes, i.e. $\forall a,b\ [a]_{\theta}=[b]_{\psi}\implies+determined by any one of its congruence classes, i.e. $\forall a,b\ [a]_{\theta}=[b]_{\psi}\Longrightarrow
\theta =\psi$. \theta =\psi$.