Problem to solve:

Let X and Y be nonempty subsets of a group G, and XY denotes the set {g G| g = xy for some x X, y Y}.

Let H and K be subgroups of a finite group G and define a relation on the set H K by setting (r,s) ~ (t,u) if rs = tu r, t H, s,u K.

Part 1: Show that this is an equivalence relation such that each equivalence class has order |H K|.

Part 2: Prove |HK| |H K| = |H| |K|

Hello,

I need help with the problems above. I'm also a little confused on part 1...I know how to show the equivalence relation for the set H K, but then the problem stated something about the order of equivalence class. How am I going to show that? Appreciate anyone's help on this. Thank you in advance