Inverse of Product of Subsets of Group/Proof 1

Proof
First, note that:

Now:

By a similar argument we see that $\paren {X \circ Y}^{-1} \subseteq Y^{-1} \circ X^{-1}$.

Hence the result.