# 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: