Product of Subset with Union/Proof 2

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


 * $\forall g, h \in G: \tuple {g, h} \in \RR \iff \exists g \in X$

Then:
 * $\forall S \subseteq G: X \circ S = \map \RR S$

Then:

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


 * $\forall g, h \in G: \tuple {g, h} \in \RR \iff \exists h \in X$

Then:
 * $\forall S \subseteq G: S \circ X = \map \RR S$

Then: