Definition:Universally Compatible Relation

From ProofWiki
Jump to navigation Jump to search

Definition

A relation $\RR$ is universally compatible on a set $S$ if and only if it is compatible with every closed operation that can be defined on $S$.