Relations Compatible with Group Form Complete Boolean Algebra

Theorem
Let $\struct {S, \circ}$ be a group.

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

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