# Differences

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

congruence_e-regular [2010/08/20 20:41] jipsen created |
congruence_e-regular [2010/08/20 20:42] (current) jipsen |
||
---|---|---|---|

Line 3: | Line 3: | ||

An algebra with a constant term $e$ is \emph{congruence $e$-regular} if each congruence relation of the algebra is | An algebra with a constant term $e$ is \emph{congruence $e$-regular} if each congruence relation of the algebra is | ||

determined by its $e$-congruence class, i.e., for all congruences $\theta$, $\psi$ of the algebra | determined by its $e$-congruence class, i.e., for all congruences $\theta$, $\psi$ of the algebra | ||

- | $[e]_{\theta}=[e]_{\psi}\implies | + | $[e]_{\theta}=[e]_{\psi}\Longrightarrow |

\theta =\psi$. | \theta =\psi$. | ||

Trace: