It seems to me that your part A is confusing.
Observe that if then
There are two cases.
First, if |A|=0 then it is trivially true.
Secondly, if |A|>0 then for then let
Use the definition:
Can you finish part A?
For part B, use the following as a start: