Relations Compatible with Operation Form Complete Distributive Lattice

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.