# Relations Compatible with Operation Form Complete Distributive Lattice

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.