Definition:Universally Compatible Relation

A relation $$\mathcal{R}$$ is universally compatible on a set $$S$$ iff it is compatible with every closed operation that can be defined on $$S$$.