Relations Compatible with Operation Form Complete Distributive Lattice

Theorem
Let $(S,\circ)$ be an algebraic structure.

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

Then $(C, \cap,\cup,\subseteq)$ is a complete lattice.