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$. | ||
Trace:
