You only need to verify that these sets are groups,
((3) associativity is automatically satisfied)
These are trivial exercises. Keep the definition of intersections in mind.
The same goes for
(Edit: What you wrote was not the right symbol for Union. The union symbol is . However the excercise is the same)