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 Boolean algebra which is complete when considered as a lattice.