Relations Compatible with Operation Form Complete Distributive Lattice

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\left({S, \circ}\right)$ be an algebraic structure.

Let $C$ be the set of relations on $S$ compatible with $\circ$.


Then $\left({C, \cap,\cup,\subseteq}\right)$ is a complete distributive lattice.


Proof