grupper och delgrupp

Hej allihopa! Jag behöver lite hjälp med att förstå en uppgift i abstrakt algebra. Uppgiften lyder: 

Hur kan jag visa att Hs={x ∈ G ∣xs = sx för alla s ∈ S} bildar en delgrupp av G, om S är en delmängd av G?"

Jag har svårt att visa teoretiskt att om x ∈ Hs så gäller också att x−1 ∈ Hs. Hur visar jag det? Finns det något särskilt sätt att resonera eller några satser som är användbara här? Tack på förhand