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:

Thus,

Can you finish part A?

For part B, use the following as a start: