Product of Subset with Intersection/Proof 2

Proof
Consider the relation $\mathcal R \subseteq G \times G$ defined as:


 * $\forall g, h \in G: \left({g, h}\right) \in \mathcal R \iff \exists g \in X$

Then:
 * $\forall S \subseteq G: X \circ S = \mathcal R \left({S}\right)$

Then:

Next, consider the relation $\mathcal R \subseteq G \times G$ defined as:


 * $\forall g, h \in G: \left({g, h}\right) \in \mathcal R \iff \exists h \in X$

Then:
 * $\forall S \subseteq G: S \circ X = \mathcal R \left({S}\right)$

Then: