Definition:Universally Compatible
From ProofWiki
Definition
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$.
