Superset Relation is Compatible with Subset Product

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

Let $\circ_{\mathcal P}$ be the subset product on $\mathcal P \left({S}\right)$, the power set of $S$.

Then the superset relation $\supseteq$ is compatible with $\circ_{\mathcal P}$.

Proof
The theorem holds by Subset Relation is Compatible with Subset Product and Inverse of Relation Compatible with Operation is Compatible.