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 $(C, \cap,\cup,\subseteq)$ is a complete distributive lattice.