Relations Compatible with Operation Form Complete Distributive Lattice

Theorem
Let $\struct {S, \circ}$ be an algebraic structure.

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

Then $\struct {C, \cap, \cup, \subseteq}$ is a complete distributive lattice.