Definition:Universally Congruent
Jump to navigation
Jump to search
Definition
A equivalence $\RR$ is universally congruent on a set $S$ if and only if it is a congruence for every closed operation that can be defined on $S$.
A equivalence $\RR$ is universally congruent on a set $S$ if and only if it is a congruence for every closed operation that can be defined on $S$.