Definition:Universally Congruent
From ProofWiki
Definition
A equivalence $\mathcal R$ is universally congruent on a set $S$ iff it is a congruence for every closed operation that can be defined on $S$.
