Relations Compatible with Group Form Complete Boolean Algebra

Theorem
Let $\left({S,\circ}\right)$ be a group.

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

Then $\left({C, \cap, \cup, \subseteq}\right)$ is a complete Boolean lattice.