Equivalence relation proof

Let S be a subset of G.
we define a relation a~b on G IFF a(b^-1) belongs to S

Prove this is an equivalence relation IFF S is a subgroup

Solution Summary

This provides an example of proving something is an equivalence relation.