Definition:Universally Congruent

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